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

Documents Related by Co-Citation

49 Unified algebras and institutions – P Mosses - 1989
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
50 Order-sorted equational computation – G Smolka, W Nutt, J Goguen, J Meseguer - 1989
5 Sort Inheritance for Order-Sorted Equational Presentations – Claus Hintermeier, Claude Kirchner, Hélène Kirchner - 1995
22 Untersuchungen zur mehrsortigen Quantorenlogik”, Mathematische Annalen – A Oberschelp
66 Completion of Rewrite Systems with Membership Constraints Part II: Constraint Solving – Hubert Comon - 1992
13 Equational completion in order-sorted algebras – Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner - 1990
29 Operational semantics of OBJ3 – C Kirchner, H Kirchner, J Meseguer - 1988
6 R n - and G n -Logics – Claus Hintermeier, Hélène Kirchner, Peter D. Mosses, Ny Munkegade - 1996
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
161 Solving equations in abstract algebras: A rulebased survey of unification – Jean-Pierre Jouannaud, Claude Kirchner - 1991
39 A rationale for conditional equational programming – N Dershowitz, M Okada - 1990
11 Equational type logic – V Manca, A Salibra, G Scollo - 1990
104 Specification and Proof in Membership Equational Logic – Adel Bouhoula, Jean-pierre Jouannaud, Jos'e Meseguer - 1996
34 Operational semantics for order-sorted algebra – J A Goguen, J-P Jouannaud, J Meseguer
12 Algebraic Specifications of Reachable Higher-Order Algebras – B Möller, A Tarlecki, M Wirsing - 1988
4 Algèbre galactique — Un procédé de calcul formel, relatif aux semifonctions, à l’inclusion et àl’égalité – A Mégrelis - 1990
29 Universal algebra in higher types – K Meinke - 1992
46 Basic superposition is complete – Robert Nieuwenhuis, Albert Rubio - 1992