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:

Various0 book in djvu formatAbraham Lincoln451 books in mobi formatWilliam Shakespeare523 books in txt formatUnited States. Congress. House. Committee on the J198 books in epub formatAnthony Trollope73 books in pdf formatS. (Sabine) Baring-Gould82 books in djvu formatBenjamin Disraeli76 books in pdf formatNorth Carolina. Secretary of State87 books in txt formatJules Verne38 books in djvu formatDaniel Defoe35 books in pdf format