Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
a service of 
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.
last updated on 2024-05-05 00:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
