![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Logic Programming, Volume 22
Volume 22, Number 1, January 1995
- Manuel V. Hermenegildo
, Francesca Rossi:
Strict and Nonstrict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. 1-45 - Bern Martens, Danny De Schreye
:
Why Untyped Nonground Metaprogramming Is Not (Much Of) A Problem. 47-99
Volume 22, Number 2, February 1995
- Piero A. Bonatti
:
Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. 91-149 - Phan Minh Dung:
An Argumentation-Theoretic Foundations for Logic Programming. 151-171
Volume 22, Number 3, March 1995
- Pascal Van Hentenryck, Agostino Cortesi
, Baudouin Le Charlier:
Type Analysis of Prolog Using Type Graphs. 179-209 - Jia-Huai You, Li-Yan Yuan:
On the Equivalence of Semantics for Normal Logic Programs. 211-222 - María Alpuente
, Moreno Falaschi
, Ferdinando Manzo:
Analyses of Unsatisfiability for Equational Logic Programming. 223-254
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.