Substitution And NotPierre Lescanne
List of bibliographic references
Number of relevant bibliographic references: 6.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000302 | Pierre Arnoux [France] ; Valérie Berthe [France] ; Thomas Fernique [France] ; Damien Jamet [France] | Functional stepped surfaces, flips, and generalized substitutions |
| 000963 | A. Felty [États-Unis] | The calculus of constructions as a framework for proof search with set variable instantiation |
| 000986 | E. Ritter [Royaume-Uni] ; D. Pym [Royaume-Uni] ; L. Wallen [Royaume-Uni] | On the intuitionistic force of classical search |
| 000995 | G. Dowek [France] ; T. Hardin [France] ; C. Kirchner [France] | Higher order unification via explicit substitutions |
| 000A12 | R. Mcdowell [États-Unis] ; D. Miller [États-Unis] | Cut-elimination for a logic with definitions and induction |
| 000A34 | D. Leivant [États-Unis] ; J.-Y. Marion [France] | A characterization of alternating log time by ramified recurrence |
| This area was generated with Dilib version V0.6.33. |  |