Dynamically-Typed Computations for Order-Sorted Equational Presentations (Extended Abstract) (1994)


Download Links

by Claus Hintermeier , Claude Kirchner , Hélène Kirchner
Venue:Proc. 21st International Colloquium on Automata, Languages, and Programming, volume 820 of Lecture Notes in Computer Science
Citations:10 - 8 self

Active Bibliography

Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
5 Sort Inheritance for Order-Sorted Equational Presentations – Claus Hintermeier, Claude Kirchner, Hélène Kirchner - 1995
5 Constraint Solving by Narrowing in Combined Algebraic Domains – Hélène Kirchner, Christophe Ringeissen - 1994
R^n- and G^n-Logics – H El Ene Kirchner, Hélène Kirchner, Peter D. Mosses, Claus Hintermeier, Claus Hintermeier - 1996
R n-andG n-Logics – Claus Hintermeier, Hélene Kirchner, Peter D. Mosses, Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
11 Rewrite Proofs and Computations – Jean-pierre Jouannaud - 1995
29 Bi-rewrite systems – Jordi Levy, Jaume Agusti - 1996
8 Termination Checker and Knuth-Bendix Completion Tools for Maude Equational Specifications – Francisco Durán, Speci Cations - 2000
7 On The Use Of Constraints In Automated Deduction – Hélène Kirchner - 1995
Termination of Order-Sorted Rewriting – Peter C. Olveczky
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
DOI: 10.1007/s10817-006-9065-7 Structures for abstract rewriting – Marc Aiguier, Diane Bahrami - 2009
454 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
19 Normalised Rewriting and Normalised Completion – Claude Marche - 1994
10 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern
Chapter 1 Knowledge Representation and Classical Logic – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Vladimir Lifschitz, Leora Morgenstern, David Plaisted
1 Sorted Unification And The Solution Of Semi-Linear Membership Constraints – Tomás Esteban Uribe, As Esteban Uribe - 1992
From Search to Computation: Redundancy Criteria and Simplification at Work – Thomas Hillenbr, Ruzica Piskac, Uwe Waldmann, Christoph Weidenbach
4 Order-Sorted Termination: the Unsorted Way – Peter Csaba Ölveczky, Olav Lysne - 1996