C. Ringeissen And NotIntégration
List of bibliographic references
Number of relevant bibliographic references: 6.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 |
000C12 | C. Ringeissen [France] | Prototyping combination of unification algorithms with the ELAN rule-based programming language |
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. |