Premium
Decision procedures for elementary sublanguages of set theory VIII. A semidecision procedure for finite satisfiability of unqualified set‐theoretic formulae
Author(s) -
Cantone D.,
Ferro A.,
Omodeo E. G.
Publication year - 1988
Publication title -
communications on pure and applied mathematics
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 3.12
H-Index - 115
eISSN - 1097-0312
pISSN - 0010-3640
DOI - 10.1002/cpa.3160410107
Subject(s) - satisfiability , set (abstract data type) , computer science , citation , mathematics , calculus (dental) , information retrieval , algebra over a field , discrete mathematics , mathematical economics , library science , programming language , pure mathematics , medicine , dentistry