C. Ringeissen And NotUnification
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000767 | M. G. J. Van Den Brand [Pays-Bas, France] ; P.-E. Moreau [France] ; C. Ringeissen [France] | The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration |
| 000A27 | M. G. J. Van Den Brand [France] ; C. Ringeissen [Pays-Bas] | ASF+SDF parsing tools applied to ELAN |
| 000B30 | E. Monfroy [Pays-Bas] ; C. Ringeissen [France] | SoleX : A domain-independent scheme for constraint solver extension |
| 000C25 | C. Kirchner [France] ; C. Ringeissen [France] | Higher-order equational unification via explicit substitutions |
| 000D00 | C. Ringeissen [France] | Combining decision algorithms for matching in the union of disjoint equational theories |
| This area was generated with Dilib version V0.6.33. |  |