C. Kirchner And NotUnification n ordre
List of bibliographic references
Number of relevant bibliographic references: 9.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000A82 | G. Dowek [France] ; T. Hardin [France] ; C. Kirchner [France] | Hol-λσ : An intentional first-order expression of higher-order logic |
| 000B06 | H. Comon [France] ; M. Dincbas [France] ; J.-P. Jouannaud [France] ; C. Kirchner [France] | A methodological view of constraint solving |
| 000B29 | H. Cirstea [France] ; C. Kirchner [France] | The rewriting calculus as a semantics of ELAN |
| 000C25 | C. Kirchner [France] ; C. Ringeissen [France] | Higher-order equational unification via explicit substitutions |
| 000C75 | I. Alouini [France] ; C. Kirchner [France] | Toward the concurrent implementation of computational systems |
| 000C92 | C. Kirchner [France] ; C. Lynch [France] ; C. Scharff [France] | Fine-grained concurrent completion |
| 000D65 | M. Hermann ; C. Kirchner ; H. Kirchner | Implementations of term rewriting systems |
| 000D66 | N. Doggaz ; C. Kirchner | Completion for unification |
| 000D72 | MOHAMED ADI ; C. Kirchner | AC-Unification race : the system solving approach and its implementation |
| This area was generated with Dilib version V0.6.33. |  |