Logique linéaire And NotPatrick Baillot
List of bibliographic references
Number of relevant bibliographic references: 18.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000026 | Zohra Sbaï [Tunisie] ; Kamel Barkaoui [France] | Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels |
| 000285 | Marco Gaboardi [Italie] ; Simona Ronchi Della Rocca [Italie] ; Jean-Yves Marion [France] | A Logical Account of PSPACE |
| 000442 | Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France] | Truly on-the-fly LTL model checking |
| 000559 | Philippe De Groote [France] ; Bruno Guillaume [France] ; Sylvain Salvati [France] | Vector addition tree automata |
| 000568 | Yves Lafont [France] | Soft linear logic and polynomial time |
| 000673 | René David [France] ; Bruno Guillaume [France] | Strong normalization of the typed λws-calculus |
| 000693 | Lutz Strassburger [France] | MELL in the calculus of structures |
| 000717 | D. Galmiche [France] ; J.-M. Notin [France] | Connection-based proof construction in non-commutative logic |
| 000818 | Didier Galmiche [France] ; Daniel Mery [France] | Connection-based proof search in propositional BI logic |
| 000875 | Philippe De Groote [France] | Towards abstract categorial grammars |
| 000901 | Guy Perrier [France] | Intuitionistic multiplicative proof nets as models of directed acyclic graph descriptions |
| 000975 | Philippe De Groote [France] | Proof-search in implicative linear logic as a matching problem |
| 000A05 | I. Cervesato [États-Unis] ; J. S. Hodas [États-Unis] ; F. Pfenning [États-Unis] | Efficient resource management for linear logic proof search |
| 000A16 | D. Galmiche [France] | Connection methods in linear logic and proof nets construction |
| 000C36 | D. Bechet [France] ; P. De Groote [France] | Constructing different phonological bracketings from a proof net |
| 000C38 | J.-Y. Marion [France] | Case study : Additive linear logic and lattices |
| 000C66 | C. Retore [France] | Calcul de Lambek et logique linéaire |
| 000C67 | G. Perrier [France] | CPL : un modèle logique du calcul parallèle |
| This area was generated with Dilib version V0.6.33. |  |