✦ LIBER ✦

Equivalence of propositional Prolog programs

✍ Scribed by Hans Kleine Büning; Ulrich Löwen; Stefan Schmitgen

Publisher: Springer Netherlands
Year: 1990
Tongue: English
Weight: 828 KB
Volume: 6
Category: Article
ISSN: 0168-7433
DOI: 10.1007/bf00244491

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantics of looping programs in Proposi

Semantics of looping programs in Propositional Dynamic Logic

✍ Francine Berman 📂 Article 📅 1981 🏛 Springer 🌐 English ⚖ 601 KB

OR parallel execution of Prolog programs

OR parallel execution of Prolog programs with side effects

✍ Laxmikant V. Kale; David A. Padua; David C. Sehr 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 796 KB

Test frame updating in CPM testing of Pr

Test frame updating in CPM testing of Prolog programs

✍ Lingzhong Zhao; Tianlong Gu; Junyan Qian; Guoyong Cai 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 462 KB

Equivalence of programs with structured

Equivalence of programs with structured variables

✍ A.V. Aho; J.D. Ullman 📂 Article 📅 1972 🏛 Elsevier Science 🌐 English ⚖ 565 KB

We consider a class of straight line programs admitting structured variables. It is easy to associate with each program a set of expressions which reflects the natural meaning of a structured variable such as an array. However, the question of whether two such expressions are equivalent depends on w

∏11-universality of some propositional l

∏11-universality of some propositional logics of concurrent programs

✍ M.K. Valiev 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 686 KB

Models of sequential programs used to st

Models of sequential programs used to study functional equivalence of programs

✍ R. I. Podlovchenko 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 970 KB