Conferences in DBLP
Catuscia Palamidessi Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:1-2 [Conf ] Dale Miller Specifications Using Multiple-Conclusion Logic Programs. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:3-4 [Conf ] Robert Paige Viewing A program Transformation System At Work. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:5- [Conf ] Michael Codish , Grigory Mashevitzky Proving Implications by Algebraic Approximation. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:6-22 [Conf ] Adel Bouhoula Sufficient Completeness and Parameterized Proofs by Induction. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:23-40 [Conf ] Michel Bidoit , Rolf Hennicker Proving Behavioural Theorems with Standard First-Order Logic. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:41-58 [Conf ] Andreas Werner , Alexander Bockmayr , Stefan Krischer How to Realize LSE Narrowing. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:59-76 [Conf ] María Alpuente , Moreno Falaschi , Germán Vidal Compositional Analysis for Equational Horn Programs. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:77-94 [Conf ] Philippe Balbiani Equation Solving in Projective Planes and Planar Ternary Rings. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:95-113 [Conf ] Francisco Bueno , Manuel V. Hermenegildo , Ugo Montanari , Francesca Rossi From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:114-132 [Conf ] Paolo Volpe Concurrent Logic Programming as Uniform Linear Proofs. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:133-149 [Conf ] Frank Teusink Three-Valued Completion for Abductive Logic Programs. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:150-167 [Conf ] Sergio Antoy , Aart Middeldorp A Sequential Reduction Strategy. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:168-185 [Conf ] Bernhard Gramlich On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:186-203 [Conf ] Maria C. F. Ferreira , Hans Zantema Syntactical Analysis of Total Termination. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:204-222 [Conf ] Massimo Marchiori Logic Programs as term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:223-241 [Conf ] Neil D. Jones , Mads Rosendahl Higher-Order Minimal Functional Graphs. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:242-252 [Conf ] Delia Kesner Reasoning about Layered, Wildcard and Product Patterns. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:253-268 [Conf ] Annalisa Bossi , Nicoletta Cocco Preserving Universal Termination through Unfold/Fold. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:269-286 [Conf ] Elena Marchiori A Logic for Variable Aliasing in Logic Programs. [Citation Graph (0, 0)][DBLP ] ALP, 1994, pp:287-304 [Conf ]