Recherche preuve And NotM. W. Bunder
List of bibliographic references
Number of relevant bibliographic references: 6.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000963 | A. Felty [États-Unis] | The calculus of constructions as a framework for proof search with set variable instantiation |
| 000974 | D. Galmiche [France] ; D. J. Pym [Royaume-Uni] | Proof-search in type-theoretic languages : an introduction |
| 000986 | E. Ritter [Royaume-Uni] ; D. Pym [Royaume-Uni] ; L. Wallen [Royaume-Uni] | On the intuitionistic force of classical search |
| 000A03 | T. Arai [Japon] ; G. Mints [États-Unis] | Extended normal form theorems for logical proofs from axioms |
| 000A05 | I. Cervesato [États-Unis] ; J. S. Hodas [États-Unis] ; F. Pfenning [États-Unis] | Efficient resource management for linear logic proof search |
| 000A14 | G. Nadathur [États-Unis] | Correspondences between classical, intuitionistic and uniform provability |
| This area was generated with Dilib version V0.6.33. |  |