Statistics   Author Index
authors: 124845
books   : 333952
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
   Books search
  
   D:: D Cantone : download and read ebooks
A decision procedure for set-theoretic formulae involving rank and cardinality comparison

Decision algorithms for some fragments of analysis and related areas

Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator

Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator

Decision procedures for elementary sublanguages of set theory. X. Multilevel syllogistic extended by the singleton and powerset operators

Decision procedures for elementary sublanguages of set theory. XI. Multilevel syllogistic extended by some elementary map constructs

Decision procedures for elementary sublanguages of set theory. XIV. Three languages involving rank related constructs

Decision procedures for elementary sublanguages of set theory. XVI. Multilevel syllogistic extended by singleton, rank comparison and unary intersection

On the decidability of Presburger arithmetic with homogeneous exponentiation

Set-theoretic reductions of Hilbert's tenth problem

Some decidability results on quantified sublanguages of set theory

The automation of syllotistic. II. Optimization and complexity issues

Related authors:

Various1 book in pdf formatAbraham Lincoln463 books in pdf formatWilliam Shakespeare490 books in mobi formatUnited States. Congress. House. Committee on the J200 books in txt formatAnthony Trollope83 books in txt formatS. (Sabine) Baring-Gould82 books in epub formatBenjamin Disraeli72 books in djvu formatNorth Carolina. Secretary of State44 books in djvu formatJules Verne40 books in pdf formatDaniel Defoe44 books in txt format