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

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

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

Critique du rapport signal à bruit en communications numériques -- Questioning the signal to noise ratio in digital communications Fliess M. ARIMA (Revue africaine d'informatique et de Mathématiques appliquées) 9 (2008) 419-429 [inria-00311719 - version 3]

Topological Complexity of omega-Powers : Extended Abstract Finkel O., Lecomte D. Dans Dagstuhl Seminar on "Topological and Game-Theoretic Aspects of Infinite Computations" 29.06.08 - 04.07.08 [ensl-00319447 - version 2]

Topological Complexity of Locally Finite omega-Languages Finkel O. Archive for Mathematical Logic, 47 (6) (2008) 625-651 [ensl-00160798 - version 2]

Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product Amblard M., Retoré C. Dans Computation and Logic in the Real World (Computing in Europe 2007) (2007) 28--44 [hal-00409486 - version 1]

Intensional Models for the Theory of Types Muskens R. Journal of Symbolic Logic 72, 1 (2007) 98--118 [hal-00412577 - version 1]

Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs Bonichon R., Delahaye D., Doligez D. Dans Logic for Programming, Artificial Intelligence, and Reasoning 4790 (2007) 151-165 [inria-00315920 - version 1]

An omega-power of a context-free language which is Borel above Delta^0_omega Duparc J., Finkel O. Dans Foundations of the Formal Sciences V : Infinite Games, November 26-29, 2004 109-122 [ensl-00147245 - version 2]

Critique du rapport signal à bruit en théorie de l'information --- A critical appraisal of the signal to noise ratio in information theory Fliess M. (2007) [inria-00195987 - version 1]

There Exist some Omega-Powers of Any Borel Rank Lecomte D., Finkel O. Dans 16th EACSL Annual Conference on Computer Science and Logic, CSL 2007, September 11-15, 2007 115-129 [ensl-00157204 - version 1]

Local Sentences and Mahlo Cardinals Finkel O., Todorcevic S. Mathematical Logic Quaterly 53, 6 (2007) 558-563 [hal-00147192 - version 1]