Recherche preuve And NotG. Nadathur
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 |
000976 | M. W. Bunder [Australie] | Proof finding algorithms for implicational logics |
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 |
This area was generated with Dilib version V0.6.33. |