Eléments de l'association
| ![]() |
List of bibliographic references
Number of relevant bibliographic references: 3.Ident. | Authors (with country if any) | Title |
---|---|---|
000995 | G. Dowek [France] ; T. Hardin [France] ; C. Kirchner [France] | Higher order unification via explicit substitutions |
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 |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |