✦ LIBER ✦

Fixpoint logics, relational machines, and computational complexity

✍ Scribed by Abiteboul, Serge; Vardi, Moshe Y.; Vianu, Victor

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Fixpoint logics, relational machines, an

✍ Abiteboul, Serge; Vardi, Moshe Y.; Vianu, Victor 📂 Article 📅 1997 🏛 Association for Computing Machinery 🌐 English ⚖ 557 KB

[Springer Monographs in Mathematics] Log

✍ Pudlák, Pavel 📂 Article 📅 2013 🏛 Springer International Publishing ⚖ 729 KB

Complex Predicates and Logics for Proper

✍ Chris Swoyer 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 346 KB

The Complexity of Regularity in Grammar

✍ Demri, S. 📂 Article 📅 2001 🏛 Oxford University Press 🌐 English ⚖ 335 KB

The Relations between Symbolic Logic and

✍ Berkeley, E. C. 📂 Article 📅 1950 🏛 American Association for the Advancement of Scienc 🌐 English ⚖ 331 KB

Temporal nonmonotonic logical systems: I

✍ M. M. Vin’kov; I. B. Fominykh 📂 Article 📅 2010 🏛 Allerton Press Inc 🌐 English ⚖ 154 KB