Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Monadic second order logic, tree automata and forbidden minors Read chapter Read first chapter

1991 | ReviewPaper | Chapter

Decision problems for tarski and presburger arithmetics extended with sets

Authors : D. Cantone, V. Cutello, J. T. Schwartz

Published in: Computer Science Logic

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …
previous chapter Efficiency considerations on goal-directed forward chaining for logic programs
next chapter A fast garbage collection algorithm for WAM — based PROLOG
Metadata
Title
Decision problems for tarski and presburger arithmetics extended with sets
Authors
D. Cantone
V. Cutello
J. T. Schwartz
Copyright Year
1991
Publisher
Springer Berlin Heidelberg
Book
Computer Science Logic

Print ISBN: 978-3-540-54487-6

Electronic ISBN: 978-3-540-38401-4

Copyright Year: 1991

DOI
https://doi.org/10.1007/3-540-54487-9_54

Premium Partner

    Image Credits