Start
Journals
FIZ Karlsruhe
published by FIZ Karlsruhe GmbH
Start
|
Advanced SearchÂ
Contact
Print
General Help
Advanced Search
Anywhere:
Author:
Title:
Source:
Year:
History
1
an:03728231
1
Advanced query form:
Anywhere
Author
Title
Source
Classification
Abstract/Review
Language
Keyword
Reviewer
Citation
Serial
Publisher
and
or
not
Anywhere
Author
Title
Source
Classification
Abstract/Review
Language
Keyword
Reviewer
Citation
Serial
Publisher
and
or
not
Anywhere
Author
Title
Source
Classification
Abstract/Review
Language
Keyword
Reviewer
Citation
Serial
Publisher
and
or
not
Anywhere
Author
Title
Source
Classification
Abstract/Review
Language
Keyword
Reviewer
Citation
Serial
Publisher
and
or
not
Anywhere
Author
Title
Source
Classification
Abstract/Review
Language
Keyword
Reviewer
Citation
Serial
Publisher
and
or
not
Anywhere
Author
Title
Source
Classification
Abstract/Review
Language
Keyword
Reviewer
Citation
Serial
Publisher
and
or
not
Year:
-
Type:
Journal
Book
Article
Please fill in your query. A complete syntax description you will find on the
General Help
page.
io-port 03728231
Breban, M.
;
Ferro, A.
;
Omodeo, E.G.
;
Schwartz, J.T.
Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions.
(English)
Commun. Pure Appl. Math. 34, 177-195 (1981).
Keywords:
algorithm
;
satisfiability problem for quantifier free formulas
;
formulas in prenex normal form
;
bounded universal quantifiers
;
bounded existential quantifiers
;
ordinals
;
mappings
PDF
XML
AMS-TeX
TEXT
BIBTeX
DOI
© 2013 FIZ Karlsruhe GmbH
Contact
|
Copyright
|
Terms & Conditions
|
Site Map
|
Webmaster
Start
Contact
Print
General Help
