Modularité And NotSusanne Salmon-Alt
List of bibliographic references
Number of relevant bibliographic references: 4.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000363 | Frédéric Blanqui ; Claude Kirchner ; Colin Riba | On the confluence of λ-calculus with conditional rewriting |
| 000369 | Harald Ganzinger [Allemagne] ; Viorica Sofronie-Stokkermans [Allemagne] ; Uwe Waldmann [Allemagne] | Modular proof systems for partial functions with Evans equality |
| 000475 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Nelson-oppen, shostak and the extended canonizer : A family picture with a newborn |
| 000754 | Djamé Seddah [France] ; Evelyne Jacquey [France] | Conceptualisation d'un système d'informations lexicales, une interface paramétrable pour le T.A.L |
| This area was generated with Dilib version V0.6.33. |  |