✦ LIBER ✦

Abstract State Machines and Computationally Complete Query Languages

✍ Scribed by Andreas Blass; Yuri Gurevich; Jan Van den Bussche

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Design and implementation of a temporal

✍ Jinho Kim; Hodong Yoo; Yoonjoon Lee 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 886 KB

32-Bit microprocessor architectures and

✍ M. Ancona; A. Clematis; V. Gianuzzi 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 491 KB

Natural language technology and query ex

✍ Bhawani Selvaretnam, Mohammed Belkhatir 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 743 KB

Architecture of a semantic data integrat

✍ V. V. Ovchinnikov 📂 Article 📅 2006 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 181 KB

Abstract state machines and high-level s

✍ Egon Börger 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 127 KB

Expressiveness of temporal query languag

✍ Rodolfo Sabás Gómez; Juan Carlos Augusto 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 683 KB