On the Expressive Power of First-Order Logic with Built-In Predicates ebook
by Nicole Schweikardt
ACM Transactions on Computational Logic (TOCL) 6 (3), 634-671, 2005. The monadic quantifier alternation hierarchy over grids and graphs. O Matz, N Schweikardt, W Thomas. Information and Computation 179 (2), 356-383, 2002.
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves. In: Aceto, . Henzinger, . Sgall, J. (ed. ICALP 2011, Part II.
Finding books BookSee BookSee - Download books for free.
without quantified variables
without quantified variables. PFL employs a small number of algebraic devices called predicate functors (or predicate modifiers) that operate on terms to yield terms. PFL is mostly the invention of the logician and philosopher Willard Quine.
On-line books store on Z-Library B–OK. Download books for free. File: PDF, . 0 MB. 2.
Nicole Schweikardt, Thomas Schwentick. Published in Logical Methods in Computer Science 2011. 2168/LMCS-7(4:7)2011. View PDF. Save to Library.
Nicole Schweikardt Thomas Schwentick. Computer Science Logic in Computer Science. Subjects: Logic in Computer Science (c. O).
Shipping: FREE Within . Destination, rates & speeds. 30 Day Return Policy. Customers who bought this item also bought.