Logique And NotA. Napoli
List of bibliographic references
Number of relevant bibliographic references: 18.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000030 | Manuel Rebuschi [France] ; Maxime Amblard [France] ; Michel Musiol [France] | Schizophrénie, logicité et perspective en première personne |
| 000402 | Michael Backes [Allemagne] ; Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Mathieu Turuani [France] | Compositional analysis of contract-signing protocols |
| 000586 | A. S. Murawski [Royaume-Uni] ; C.-H. L. Ong [Royaume-Uni] | On an interpretation of safe recursion in light affine logic |
| 000809 | Peter Borovansky [Slovaquie] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] | ELAN from a rewriting logic point of view |
| 000861 | Alain Trognon [France] ; Daniel Coulon [France] | La modélisation des raisonnements générés dans les interlocutions |
| 000969 | A. Bouhoula [États-Unis, France] ; J.-P. Jouannaud [France] ; J. Meseguer [États-Unis] | Specification and proof in membership equational logic |
| 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 |
| 000995 | G. Dowek [France] ; T. Hardin [France] ; C. Kirchner [France] | Higher order unification via explicit substitutions |
| 000999 | C. Ringeissen [France] ; E. Monfroy [Pays-Bas] | Generating propagation rules for finite domains : A mixed approach |
| 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 |
| 000A12 | R. Mcdowell [États-Unis] ; D. Miller [États-Unis] | Cut-elimination for a logic with definitions and induction |
| 000A14 | G. Nadathur [États-Unis] | Correspondences between classical, intuitionistic and uniform provability |
| 000A45 | A. Ginzburg [Italie] ; S.-M. Passone | Proust : le miracle de l'analogie |
| 000C44 | P. De Groote [France] | An algebraic correctness criterion for intuitionistic proof-nets |
| 000C67 | G. Perrier [France] | CPL : un modèle logique du calcul parallèle |
| 000D42 | D. Galmiche [France] ; G. Perrier | On proof normalization in linear logic |
| This area was generated with Dilib version V0.6.33. |  |