|
48
|
Unified algebras and institutions
– P D Mosses
- 1989
|
|
203
|
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations
– Joseph A. Goguen
- 1992
|
|
48
|
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
|
|
20
|
Untersuchungen zur mehrsortigen Quantorenlogik
– A Oberschelp
- 1962
|
|
12
|
Equational completion in order-sorted algebras
– I Gnaedig, C Kirchner, H Kirchner
- 1988
|
|
63
|
Completion of Rewrite Systems with Membership Constraints Part II: Constraint Solving
– Hubert Comon
- 1992
|
|
30
|
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
|
|
158
|
Solving Equations in Abstract Algebras: A RuleBased Survey of Unification
– J P Jouannaud, C Kirchner
- 1991
|
|
723
|
Inductive-Data-Type Systems
– Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada
- 2002
|
|
10
|
Equational type logic
– V Manca, A Salibra, G Scollo
- 1990
|
|
38
|
A rationale for conditional equational programming
– N Dershowitz, M Okada
- 1990
|
|
93
|
Specification and Proof in Membership Equational Logic
– Adel Bouhoula, Jean-pierre Jouannaud, Jos'e Meseguer
- 1996
|
|
33
|
Operational semantics for ordersorted algebra
– J A Goguen, J-P Jouannaud, J Meseguer
- 1985
|
|
4
|
Algèbre galactique — Un procédé de calcul formel, relatif aux semifonctions, à l’inclusion et àl’égalité
– A Mégrelis
- 1990
|
|
45
|
Basic Superposition is Complete
– R Nieuwenhuis, A Rubio
- 1992
|
|
47
|
Theorem proving with ordering constrained clauses
– R Nieuwenhuis, A Rubio
- 1992
|
|
11
|
Algebraic specifications of reachable higher-order algebras
– Bernhard Möller, Andrzej Tarlecki, Martin Wirsing
- 1987
|
