Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Peter Csaba Ölveczky, Olav Lysne |
Order-Sorted Termination: The Unsorted Way. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
Order-sortedness, Termination |
1 | Davide Ancona, Elena Zucca |
An Algebraic Approach to Mixins and Modularity. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | François Fages, Roberta Gori |
A Hierarchy of Semantics for Normal Constraint Logic Programs. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott |
Independence in Dynamically Scheduled Logic Languages. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ilies Alouini, Claude Kirchner |
Toward the Concurrent Implementation of Computational Systems. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Dieter Nazareth |
Specifying Type Systems. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
polymorphic type system, type inference, qualified types, axiomatic specification |
1 | Dieter Nazareth |
The Semantic Treatment of Polymorphic Specification Languages. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
polymorphic type system, algebraic semantics, axiomatic specification |
1 | Paolo Volpe |
Abstractions of Uniform Proofs. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
uniform proofs, inference rule systems, abstract interpretation |
1 | Luís Caires |
A Language for the Logical Specification of Processes and Relations. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas |
Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus, Mario Rodríguez-Artalejo (eds.) |
Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Zurab Khasidashvili, John R. W. Glauert |
Discrete Normalization and Standardization in Deterministic Residual Structures. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Benhamou |
Heterogeneous Constraint Solving. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Elena Marchiori |
Prime Factorizations of Abstract Domains Using First Order Logic. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Di Pierro, Wlodzimierz Drabent |
On Negation As Instantiation. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Maria C. F. Ferreira, Delia Kesner, Laurence Puel |
Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Taro Suzuki |
Standardization Theorem Revisited. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Giacobazzi, Francesco Ranzato |
Complementing Logic Program Semantics. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries |
Meaningless Terms in Rewriting. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ken Mano, Mizuhito Ogawa |
Unique Normal Form Property of Higher-Order Rewriting Systems. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Faßbender, Sebastian Maneth |
A Strict Border for the Decidability of E-Unification for Recursive Functions. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Lubos Brim, Jean-Marie Jacquet, David R. Gilbert, Mojmír Kretínský |
A Process Algebra for Synchronous Concurrent Constraint Programming. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Marchiori |
Unravelings and Ultra-properties. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Moreno Falaschi, Germán Vidal |
Compositional Analysis for Equational Horn Programs. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
equational logic programming, compositionality, Semantic analysis, term rewriting systems |
1 | Paolo Volpe |
Concurrent Logic Programming as Uniform Linear Proofs. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
Uniform Proofs, Phase Semantics, Chemical Abstract Machine, Concurrency, Linear Logic |
1 | Elena Marchiori |
A Logic for Variable Aliasing in Logic Programs. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani |
Equation Solving in Projective Planes and Planar Ternary Rings. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich |
On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Robert Paige |
Viewing A program Transformation System At Work. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi 0001 |
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Adel Bouhoula |
Sufficient Completeness and Parameterized Proofs by Induction. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
Implicit induction, Parameterized Conditional Specifications, Theorem Proving, Term rewriting systems, Sufficient completeness |
1 | Neil D. Jones, Mads Rosendahl |
Higher-Order Minimal Functional Graphs. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Marchiori |
Logic Programs as term Rewriting Systems. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Catuscia Palamidessi |
Concurrent Constraint Programming. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Frank Teusink |
Three-Valued Completion for Abductive Logic Programs. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Maria C. F. Ferreira, Hans Zantema |
Syntactical Analysis of Total Termination. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Werner 0001, Alexander Bockmayr, Stefan Krischer |
How to Realize LSE Narrowing. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Dale Miller 0001 |
Specifications Using Multiple-Conclusion Logic Programs. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish, Grigory Mashevitzky |
Proving Implications by Algebraic Approximation. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Aart Middeldorp |
A Sequential Reduction Strategy. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit, Rolf Hennicker |
Proving Behavioural Theorems with Standard First-Order Logic. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Levi, Mario Rodríguez-Artalejo (eds.) |
Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Annalisa Bossi, Nicoletta Cocco |
Preserving Universal Termination through Unfold/Fold. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
universal termination, program transformations |
1 | Delia Kesner |
Reasoning about Layered, Wildcard and Product Patterns. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Lescanne |
Termination of Rewrite Systems by Elementary Interpretations. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Leo Bachmair, Harald Ganzinger, Uwe Waldmann |
Theorem Proving for Hierarchic First-Order Theories. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Socher-Ambrosius |
A Goal Oriented Strategy Based on Completion. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Cosimo Laneve, Ugo Montanari |
Axiomatizing Permutation Equivalence in the Lambda-Calculus. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Javier López-Fraguas |
A General Scheme for Constraint Functional Logic Programming. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Miki Hermann |
On the Relation Between Primitive Recursion, Schematization and Divergence. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Kirchner, Giorgio Levi (eds.) |
Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi |
A Theory of First-Order Built-in's of Prolog. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Echahed |
Uniform Narrowing Strategies. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
Incremental Rewriting in Narrowing Derivations. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hoon Hong |
Non-linear Real Constraints in Constraint Logic Programming. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy |
Definitional Trees. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Isabelle Gnaedig |
Termination of Order-sorted Rewriting. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hassan Aït-Kaci |
Outline of an Object-Oriented Calculus of Higher Type (Abstract). |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Berthold Hoffmann |
Term Rewriting with Sharing and Memoïzation. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Francesco Parisi-Presicce |
High-Level-Replacement Systems for Equational Algebraic Specifications. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani |
The Finiteness of Logic Programming Derivations. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Maher |
A CLP View of Logic Programming. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Bündgen, Hasko Eckhardt |
A Fast Algorithm for Ground Normal Form Analysis. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Chandrabose Aravindan, Phan Minh Dung |
Partial Deduction of Logic Programs wrt Well-Founded Semantics. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
well-founded negation, program transformation, Partial deduction |
1 | Maurizio Gabbrielli, Maria Chiara Meo |
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Thérèse Hardin |
Eta-conversion for the Languages of Explicit Substitutions. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Boudet, Evelyne Contejean |
On n-Syntactic Equational Theories. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | José Meseguer 0001 |
Multiparadigm Logic Programming. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Aart Middeldorp, Erik Hamoen |
Counterexamples to Completeness Results for Basic Narrowing (Extended Abstract). |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Olav Lysne |
Proof by Consistency in Constructive Systems with Final Algebra Semantics. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Andy King, Paul Soper |
Serialisation Analysis of Concurrent Logic Programs. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher |
Oracle Semantics for Prolog. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Giovini, Franco Morando, Antonio Capani |
Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Gramlich |
Generalized Sufficient Conditions for Modular Termination of Rewriting. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Nachum Dershowitz, Naomi Lindenstrauss |
An Abstract Concurrent Machine for Rewriting. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Gabbrielli, Giorgio Levi |
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Zhenyu Qian |
Higher-Order Order-Sorted Algebras. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Jordi Farrés-Casals |
Proving Correctness wrt Specifications with Hidden Parts. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Françoise Debart, Patrice Enjalbert, Madeleine Lescot |
Multi-Modal Logic Programming using Equational and Order-Sorted Logic. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
Order-sorted Logic, Equationnal Methods, E-Resolution, Logic Programming, Modal Logic, Unification |
1 | Dieter Hofbauer |
Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Nachum Dershowitz, Subrata Mitra, G. Sivakumar |
Equation Solving in Conditional AC-Theories. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Simonis, Mehmet Dincbas |
Propositional Calculus Problems in CHIP. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
Logic Programs with Equational Type Specifications (Extended Abstract). |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Saint-Dizier |
On Logic Programming Interpretations of Dislog: Programming Long-Distance Dependencies in Logic. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Kanchana Kanchanasut, Peter J. Stuckey |
Eliminating Negation from Normal Logic Programs. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Aïda Batarekh |
Fixpoint Techniques for Non-Monotone Maps. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Lescanne |
Implementations of Completion by Transition Rules + Control: ORME. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Bündgen |
Applying Term Rewriting Methods to Finite Groups. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo |
Lazy Narrowing in a Graph Machine. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | François Bronsard, Uday S. Reddy |
Axiomatization of a Functional Logic Language. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | H. R. Walters |
Hybrid Implementations of Algebraic Specifications. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Steinbach |
AC-Termination of Rewrite Systems: A Modified Knuth-Bendix Ordering. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Phan Minh Dung |
On the strong completion of logic programs. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
predicate completion, two-valued logic, Logic programming, negation, three-valued logic, stable models, circumscription, well-founded models |
1 | Ke Li |
Optimization of Rewriting and Complexity of Rewriting. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Kirchner, Wolfgang Wechler (eds.) |
Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Jia Liang Han |
Recursive Query Processing in Predicate-Goal Graph. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Yuli Zhou, Robert Muller |
Domain Theory for Nonmonotonic Functions. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Taisuke Sato |
An Equivalence Preserving First Order Unfold/fold Transformation System. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Tien Huynh, Catherine Lassez, Jean-Louis Lassez |
Fourier Algorithm Revisited. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Joseph A. Goguen |
Proving and Rewriting. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|