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

Cached

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
R n-andG n-Logics – Claus Hintermeier, Hélene Kirchner, Peter D. Mosses, Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
R^n- and G^n-Logics – H El Ene Kirchner, Hélène Kirchner, Peter D. Mosses, Claus Hintermeier, Claus Hintermeier - 1996
5 Constraint Solving by Narrowing in Combined Algebraic Domains – Hélène Kirchner, Christophe Ringeissen - 1994
11 Rewrite Proofs and Computations – Jean-pierre Jouannaud - 1995
27 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
145 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
431 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
18 Normalised Rewriting and Normalised Completion – Claude Marche - 1994
2 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern
1 Sorted Unification And The Solution Of Semi-Linear Membership Constraints – Tomás Esteban Uribe, As Esteban Uribe - 1992
4 Order-Sorted Termination: the Unsorted Way – Peter Csaba Ölveczky, Olav Lysne - 1996
5 Representations, Hierarchies, and Graphs of Institutions – Till Mossakowski, Gutachter Prof, Dr. Hans-jorg Kreowski, Prof Dr, Andrzej Tarlecki, Amilcar Sernadas, Horst Reichel, Pepe Meseguer, Bernd Krieg-bruckner, Maura Cerioli, Valentin Antimirov - 1996
4 On Coherence in Computer Algebra – Andreas Weber - 1993
4 Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types – J.M. Almendros-Jiménez, A. Gavilanes-Franco, A. Gil-Luezas - 1996