|
Conferences in DBLP
- Hassan Aït-Kaci
Outline of an Object-Oriented Calculus of Higher Type (Abstract). [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:1-2 [Conf]
- Hartmut Ehrig, Francesco Parisi-Presicce
High-Level-Replacement Systems for Equational Algebraic Specifications. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:3-20 [Conf]
- Pierre Lescanne
Termination of Rewrite Systems by Elementary Interpretations. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:21-36 [Conf]
- Isabelle Gnaedig
Termination of Order-sorted Rewriting. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:37-52 [Conf]
- Bernhard Gramlich
Generalized Sufficient Conditions for Modular Termination of Rewriting. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:53-68 [Conf]
- Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi
A Theory of First-Order Built-in's of Prolog. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:69-83 [Conf]
- Maurizio Gabbrielli, Maria Chiara Meo
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:84-99 [Conf]
- Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher
Oracle Semantics for Prolog. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:100-114 [Conf]
- Miki Hermann
On the Relation Between Primitive Recursion, Schematization and Divergence. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:115-127 [Conf]
- Berthold Hoffmann
Term Rewriting with Sharing and Memoïzation. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:128-142 [Conf]
- Sergio Antoy
Definitional Trees. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:143-157 [Conf]
- José Meseguer
Multiparadigm Logic Programming. [Citation Graph (1, 0)][DBLP] ALP, 1992, pp:158-200 [Conf]
- Hoon Hong
Non-linear Real Constraints in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:201-212 [Conf]
- Francisco Javier López-Fraguas
A General Scheme for Constraint Functional Logic Programming. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:213-227 [Conf]
- Michael Hanus
Incremental Rewriting in Narrowing Derivations. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:228-243 [Conf]
- Aart Middeldorp, Erik Hamoen
Counterexamples to Completeness Results for Basic Narrowing (Extended Abstract). [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:244-258 [Conf]
- Rachid Echahed
Uniform Narrowing Strategies. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:259-275 [Conf]
- Olav Lysne
Proof by Consistency in Constructive Systems with Final Algebra Semantics. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:276-290 [Conf]
- Reinhard Bündgen, Hasko Eckhardt
A Fast Algorithm for Ground Normal Form Analysis. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:291-305 [Conf]
- Thérèse Hardin
Eta-conversion for the Languages of Explicit Substitutions. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:306-321 [Conf]
- Andy King, Paul Soper
Serialisation Analysis of Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:322-334 [Conf]
- Alessandro Giovini, Franco Morando, Antonio Capani
Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:335-349 [Conf]
- Cosimo Laneve, Ugo Montanari
Axiomatizing Permutation Equivalence in the Lambda-Calculus. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:350-363 [Conf]
- Michael J. Maher
A CLP View of Logic Programming. [Citation Graph (1, 0)][DBLP] ALP, 1992, pp:364-383 [Conf]
- Chandrabose Aravindan, Phan Minh Dung
Partial Deduction of Logic Programs wrt Well-Founded Semantics. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:384-402 [Conf]
- Philippe Balbiani
The Finiteness of Logic Programming Derivations. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:403-419 [Conf]
- Leo Bachmair, Harald Ganzinger, Uwe Waldmann
Theorem Proving for Hierarchic First-Order Theories. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:420-434 [Conf]
- Rolf Socher-Ambrosius
A Goal Oriented Strategy Based on Completion. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:435-445 [Conf]
- Alexandre Boudet, Evelyne Contejean
On n-Syntactic Equational Theories. [Citation Graph (0, 0)][DBLP] ALP, 1992, pp:446-457 [Conf]
|