default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic Programming, Volume 12
Volume 12, Numbers 1&2, January 1992
- Serenella Cerrito:
A Linear Axiomatization of Negation as Failure. 1-24 - David W. Reed, Donald W. Loveland:
A Comparison of Three Prolog Extensions. 25-50 - Gert Smolka:
Feature-Constraint Logics for Unification Grammars. 51-87 - Oded Shmueli, Shalom Tsur, Carlo Zaniolo:
Compilation of Set Terms in the Logic Data Language (LDL). 89-119 - Robert A. Kowalski:
Database Updates in the Event Calculus. 121-146 - Donald Sannella
, Lincoln A. Wallen:
A Calculus for the Construction of Modular Prolog Programs. 147-177 - Johann A. Makowsky, J.-C. Gregoire, Shmuel Sagiv:
The Expressive Power of Side Effects in Prolog. 179-188
Volume 12, Numbers 3&4, 1992
- Pierre Lescanne, Wolfgang Wechler:
Introduction - ALP 1988. 189 - Juan José Moreno-Navarro, Mario Rodríguez-Artalejo:
Logic Programming with Functions and Predicates: The Language BABEL. 191-223 - Bernd I. Dahn:
Boolean Valued Models and Incomplete Specifications. 225-236 - Heinrich Hußmann:
Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. 237-255 - Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis:
Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ. 257-279 - Annie Foret:
Rewrite Rule Systems for Modal Propositional Logic. 281-298 - Bharat Jayaraman:
Implementation of Subset-Equational Programs. 299-324 - W. F. Clocksin:
Logic-Programming Specification and Execution of Dynamic-Programming Problems. 325-333 - Michael Kifer, V. S. Subrahmanian:
Theory of Generalized Annotated Logic Programming and its Applications. 335-367 - Ouri Wolfson:
Parallel Evaluation of Datalog Programs by Load Sharing. 369-393
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-12-26 00:57 CET 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:
