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

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

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

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]

System Description: The Proof Transformation System CERES Dunchev T., Leitsch A., Libal T., Weller D., Woltzenlogel Paleo B. Dans International Joint Conference on Automated Reasoning 6173 (2010) 427-433 [hal-00545482 - 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]

An intuitionistic logic that proves Markov's principle Herbelin H. Dans Logic In Computer Science (2010) 50-56 [inria-00481815 - version 1]

Exploring the relation between intuitionistic bi and boolean bi: An unexpected embedding Larchey-Wendling D., Galmiche D. Mathematical Structures in Computer Science 19, 3 (2009) 435--500 [hal-00577929 - version 1]

Systematic risk analysis: first steps towards a new definition of beta Fliess M., Join C. Dans Cognitive Systems with Interactive Sensors (COGIS'09) (2009) [inria-00425077 - version 1]

Classical and Effective Descriptive Complexities of omega-Powers Finkel O., Lecomte D. Annals of Pure and Applied Logic 160, 2 (2009) 163-191 [ensl-00168644 - version 2]

Forcing-based cut-elimination for Gentzen-style intuitionistic sequent calculus Herbelin H., Lee G. Dans Workshop on Logic, Language, Information and Computation 5514 (2009) 209-217 [inria-00381554 - version 1]

A mathematical proof of the existence of trends in financial time series Fliess M., Join C. Dans Systems Theory: Modelling, Analysis and Control (2009) 43-62 [inria-00352834 - version 1]