Skip to Main content Skip to Navigation
Help


...
hal-01337712v1  Journal articles
Beniamino AccattoliUgo Dal Lago. (Leftmost-outermost) beta reduction is invariant, indeed
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, ⟨10.2168/LMCS-12(1:4)2016⟩
...
hal-00987578v2  Journal articles
Thomas Given-WilsonDaniele GorlaBarry Jay. A Concurrent Pattern Calculus
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (3), pp.1-46. ⟨10.2168/LMCS-10(3:10)2014⟩
...
hal-00632257v4  Journal articles
Alain CouvreurNicolas DelfosseGilles Zémor. A construction of quantum LDPC codes from Cayley graphs
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2013, 59 (9), pp.6087-6098. ⟨10.1109/TIT.2013.2261116⟩
...
hal-01092427v1  Journal articles
Danko IlikKeiko Nakata. A Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control Operators
Leibniz International Proceedings in Informatics , Leibniz-Zentrum für Informatik, 2014, pp.288-201. ⟨10.4230/LIPIcs.TYPES.2013.188⟩
...
hal-00772736v1  Journal articles
Chuck LiangDale Miller. A Focused Approach to Combining Logics
Annals of Pure and Applied Logic, Elsevier Masson, 2011, ⟨10.1016/j.apal.2011.01.012⟩
...
hal-01110478v1  Journal articles
Stéphane Graham-LengrandRoy DyckhoffJames Mckinna. A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2011, 7 (1), pp.33. ⟨10.2168/LMCS-7(1:6)2011⟩
...
inria-00503017v2  Journal articles
Yves BertotFrédérique GuilhotAssia Mahboubi. A formal study of Bernstein coefficients and polynomials
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2011, 21 (04), pp.731-761. ⟨10.1017/S0960129511000090⟩
...
hal-00772562v1  Journal articles
Nigam VivekDale Miller. A framework for proof systems
Journal of Automated Reasoning, Springer Verlag, 2010, 45 (2)
...
inria-00118903v1  Journal articles
Julien Narboux. A Graphical User Interface for Formal Proofs in Geometry.
Journal of Automated Reasoning, Springer Verlag, 2007, Special Issue on User Interfaces in Theorem Proving, 39 (2), pp.161-180. ⟨10.1007/s10817-007-9071-4⟩
...
hal-00937056v1  Journal articles
Kaustuv ChaudhuriStefan HetzlDale Miller. A Multi-Focused Proof System Isomorphic to Expansion Proofs
Journal of Logic and Computation, Oxford University Press (OUP), 2014
...
hal-00710290v3  Journal articles
Alexander ZehSergey Bezzateev. A New Bound on the Minimum Distance of Cyclic Codes Using Small-Minimum-Distance Cyclic Codes
Designs, Codes and Cryptography, Springer Verlag, 2012, pp.229-246
...
hal-01054645v2  Journal articles
Cécile Gonçalves. A Point Counting Algorithm for Cyclic Covers of the Projective Line
Contemporary mathematics, American Mathematical Society, 2015, Algorithmic Arithmetic, Geometry, and Coding Theory, 637, pp.145
...
inria-00432448v1  Journal articles
Thierry CoquandArnaud Spiwack. A Proof of Strong Normalisation Using Domain Theory
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2007, 16 p. ⟨10.2168/LMCS-3(4:12)2007⟩
...
hal-01814006v1  Journal articles
Quentin HeathDale Miller. A proof theory for model checking
Journal of Automated Reasoning, Springer Verlag, 2019, 63 (4), pp.857-885. ⟨10.1007/s10817-018-9475-3⟩
...
hal-01390912v1  Journal articles
Zakaria ChihaniDale MillerFabien Renaud. A Semantic Framework for Proof Evidence
Journal of Automated Reasoning, Springer Verlag, 2017, 59 (3), pp.287-330. ⟨10.1007/s10817-016-9380-6⟩
...
inria-00441214v1  Journal articles
Lutz StraßburgerAlessio Guglielmi. A System of Interaction and Structure IV: The Exponentials and Decomposition
ACM Transactions on Computational Logic, Association for Computing Machinery, 2011, 12 (4), pp.23. ⟨10.1145/1970398.1970399⟩
...
inria-00441254v2  Journal articles
Alessio GuglielmiLutz Straßburger. A System of Interaction and Structure V: The Exponentials and Splitting
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2011, pp.1-22. ⟨10.1017/S096012951100003X⟩
...
hal-01102709v1  Journal articles
David BaeldeKaustuv ChaudhuriAndrew GacekDale MillerGopalan Nadathur et al.  Abella: A System for Reasoning about Relational Specifications
Journal of Formalized Reasoning, ASDD-AlmaDL, 2014, Special Issue: User Tutorials 2, 7 (2), pp.1-89. ⟨10.6092/issn.1972-5787/4650⟩
...
hal-00945462v1  Journal articles
Moreno FalaschiCarlos OlarteCatuscia Palamidessi. Abstract Interpretation of Temporal Concurrent Constraint Programs
Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2015, 15 (3), pp.312-357