✦ LIBER ✦

Nested expressions in logic programs

✍ Scribed by Vladimir Lifschitz; Lappoon R. Tang; Hudson Turner

Book ID: 110380408
Publisher: Springer Netherlands
Year: 1999
Tongue: English
Weight: 125 KB
Volume: 25
Category: Article
ISSN: 1012-2443
DOI: 10.1023/a:1018978005636

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Nested Lambda Expressions with Let Expre

Nested Lambda Expressions with Let Expressions in C++ Template Metaprograms

✍ Ábel Sinkovics 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 186 KB

Clock trees: logical clocks for programs

Clock trees: logical clocks for programs with nested parallelism

✍ Audenaert, K. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 731 KB

Expressive Applications of Constraint Lo

Expressive Applications of Constraint Logic Programming

✍ William B. Day 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 580 KB

Logic programs as specifications in the

Logic programs as specifications in the inductive verification of logic programs

✍ Marco Comini; Roberta Gori; Giorgio Levi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 149 KB

Efficient Substitution in Hoare Logic Ex

Efficient Substitution in Hoare Logic Expressions

✍ Andrew W. Appel; Kedar N. Swadi; Roberto Virga 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 166 KB

Regular Path Expressions in Feature Logi

Regular Path Expressions in Feature Logic

✍ Rolf Backofen 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 975 KB

We examine the existential fragment of a feature logic, which is extended by regular path expressions. A regular path expression is a subterm relation, where the allowed paths for the subterms are restricted to any given regular language. In the area of computational linguistics, this notion has bee