.:. Browse > Domain list > Logic .:.

89 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Intuitionistic Sequent-Style Calculus with Explicit Structural Rules Lescanne P., Ghilezan S., Ivetic J., Zunic D. Dans Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation 6618 (2009) 101-124 [ensl-00654762 - 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]

On Decidability Properties of One-Dimensional Cellular Automata Finkel O. Journal of Cellular Automata 6, 2-3 (2011) 181-193 [hal-00371169 - version 2]

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]

Physics and Proof Theory Woltzenlogel Paleo B. Dans International Workshop on Physics and Computation (2010) [hal-00545462 - version 1]

Kripke Models for Classical Logic Ilik D., Lee G., Herbelin H. Annals of Pure and Applied Logic 161, 11 (2010) 1367-1378 [inria-00371959 - version 4]

Proof Compression with the CIRes Method (Abstract) Woltzenlogel Paleo B. Dans Computability in Europa (2010) [hal-00545496 - version 1]

Interpreting a finitary pi-calculus in differential interaction nets Ehrhard T., Laurent O. Information and Computation 208, 6 (2010) 606--633 [hal-00483780 - version 1]

On the Membership Problem for Non-Linear Abstract Categorial Grammars Salvati S. Journal of Logic, Language and Information 19, 2 (2010) 163-183 [inria-00446785 - version 1]