.:. Consultation > Liste par discipline > Logique .:.

24 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3

On the inversion of computable functions Hoyrup M. (2012) [hal-00735681 - version 2]

Technical Report on Formalisation of the Heart using Analysis of Conduction Time and Velocity of the Electrocardiography and Cellular-Automata Méry D., Singh N. K. (2011) [inria-00600339 - version 1]

Frobenius Algebras and Classical Proof Nets Lamarche F., Novakovic N. Dans Fifth International Conference on Topology, Algebra and Categories in Logic - TACL 2011 (2011) [inria-00620126 - version 1]

Phase Semantics and the Undecidability of Boolean BI Larchey-Wendling D. Dans GEOCAL-LAC (2011) [hal-00607775 - version 1]

A new homotopy-theoretic interpretation of Martin-Löf's identity type. Lamarche F. Dans Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihaly Makkai 53 (2011) [inria-00625956 - version 1]

Categorial Minimalist Grammar: From Generative Syntax To Logical Form Amblard M., Lecomte A., Retoré C. Linguistic Analysis 36, 1--4 (2010) 273--306 [hal-00545748 - version 1]

Categorial Minimalist Grammars: From Generative Syntax to Logical Form Amblard M., Lecomte A., Retoré C. Linguistic Analysis 36, 1-4 (2010) 273--306 [hal-00605027 - version 1]

The Undecidability of Boolean BI through Phase Semantics Larchey-Wendling D., Galmiche D. Dans 25th Annual IEEE Symposium on Logic in Computer Science - LICS 2010 (2010) 140-149 [hal-00577919 - version 1]

A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae Bruscoli P., Guglielmi A., Gundersen T., Parigot M. Dans 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16 6355 (2010) 00-00 [hal-00529320 - version 1]

Modal Logics with Counting Areces C., Hoffmann G., Denis A. A. J. Dans 17th Workshop on Logic, Language, Information and Computation - WoLLIC 2010 (2010) ?? [hal-00482337 - version 1]