Search - Université Paris Cité Access content directly

Filter your results

352 Results
Domains : math.math-lo
Image document

Undecidable Problems About Timed Automata

Olivier Finkel
FORMATS'06, 2006, France. pp.187-199
Conference papers hal-00121529v2
Image document

Forcing indestructibility of set-theoretic axioms

Bernhard Koenig
2006
Preprints, Working Papers, ... hal-00023750v1
Image document

Mac Lane's coherence theorem expressed as a word problem

Paul-André Melliès
2003
Preprints, Working Papers, ... hal-00154213v1
Image document

Locally Finite Languages

Olivier Finkel
Theoretical Computer Science, 2001, 255 (1-2), pp.223-261
Journal articles hal-00102491v1
Image document

Wadge Hierarchy of Omega Context Free Languages

Olivier Finkel
Theoretical Computer Science, 2001, 269 (1-2), pp.283-315
Journal articles hal-00102489v1
Image document

Axiomatic Rewriting Theory I : A Diagrammatic Standardization Theorem

Paul-André Melliès
Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer. Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday., Springer Verlag, pp.554-638, 2005
Book sections hal-00151276v1
Image document

An omega-Power of a Finitary Language Which is a Borel Set of Infinite Rank

Olivier Finkel
Fundamenta Informaticae, 2004, 62 (3-4), pp.333-342
Journal articles hal-00108219v2
Image document

Separation of analytic sets by rectangles of low complexity.

Rafael Zamora
2014
Preprints, Working Papers, ... hal-01006556v1

Definably amenable NIP groups

Artem Chernikov , Pierre Simon
2015
Preprints, Working Papers, ... hal-01134431v1
Image document

On Bi-infinite and Conjugate Post Correspondence Problems

Olivier Finkel , Vesa Halava , Tero Harju , Esa Sahla
2022
Preprints, Working Papers, ... hal-03780128v1
Image document

Asynchronous Template Games and the Gray Tensor Product of 2-Categories

Paul-André Melliès
LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2021, Rome, Italy. ⟨10.1109/LICS52264.2021.9470758⟩
Conference papers hal-03455968v1

Concurrent Realizability on Conjunctive Structures

Emmanuel Beffara , Félix Castro , Mauricio Guillermo
2022
Preprints, Working Papers, ... hal-03710542v1
Image document

A parametricity-based formalization of semi-simplicial and semi-cubical sets

Hugo Herbelin , Ramkumar Ramachandra
2023
Preprints, Working Papers, ... hal-03963929v1

Thinking and Calculating. Essays on Logic, its History and its Applications

Francesco Ademollo , Fabrizio Amerini , Vincenzo de Risi
54, Springer International Publishing, 2022, Logic, Epistemology, and the Unity of Science, ⟨10.1007/978-3-030-97303-2⟩
Proceedings hal-03874058v1
Image document

Absoluité du conducteur de matrice

Christophe Chalons
2016
Preprints, Working Papers, ... hal-01291119v1
Image document

Sur l'identification non-ordinaire de PSL2

Adrien Deloro
Logicum Lugdunensis, Jun 2006, Lyon, France. pp.723-734, ⟨10.1017/S1474748008000194⟩
Conference papers hal-01303272v1
Image document

The Determinacy of Context-Free Games

Olivier Finkel
The Journal of Symbolic Logic, 2013, 78 (4), pp.1115-1134
Journal articles hal-00916865v1
Image document

Acyclicity and reduction

Dominique Lecomte
2016
Preprints, Working Papers, ... hal-01345440v1
Image document

A dependently-typed construction of semi-simplicial types

Hugo Herbelin
Mathematical Structures in Computer Science, 2015, From type theory and homotopy theory to Univalent Foundations of Mathematics, 25 (Special issue 05), pp.16. ⟨10.1017/S0960129514000528⟩
Journal articles hal-00935446v1
Image document

An explicit formula for the free exponential modality of linear logic

Paul-André Melliès , Nicolas Tabareau , Christine Tasson
36th International Colloquium on Automata, Languages and Programming, Jul 2009, Rhodes, Greece. pp.247-260, ⟨10.1007/978-3-642-02930-1⟩
Conference papers hal-00391714v2
Image document

On the High Complexity of Petri Nets $\omega$-Languages

Olivier Finkel
41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020, Jun 2020, Paris, France. pp.69-88
Conference papers hal-02898143v1
Image document

Lambda theories of effective lambda models

Chantal Berline , Giulio Manzonetto , Antonino Salibra
CSL'07, 16th EACSL Annual Conference on Computer Science and Logic, Sep 2007, Lausanne, Switzerland. pp.268-282, ⟨10.1007/978-3-540-74915-8⟩
Conference papers hal-00125816v2
Image document

The geometry of involutions in ranked groups with a TI-subgroup

Adrien Deloro , Joshua Wiscons
2019
Preprints, Working Papers, ... hal-01989989v2

A Proof Calculus Which Reduces Syntactic Bureaucracy

Alessio Guglielmi , Tom Gundersen , Michel Parigot
21st International Conference on Rewriting Techniques and Applications, RTA 2010, 2010, United Kingdom. pp.135-150, ⟨10.4230/LIPIcs.RTA.2010.135⟩
Conference papers hal-00529301v1

An Isbell Duality Theorem for Type Refinement Systems

Paul-André Melliès , Noam Zeilberger
2015
Preprints, Working Papers, ... hal-01214119v1
Image document

Simple groups of Morley rank 5 are bad

Adrien Deloro , Joshua Wiscons
The Journal of Symbolic Logic, 2018, 83 (03), pp.1217-1228. ⟨10.1017/jsl.2017.86⟩
Journal articles hal-01989804v1
Image document

Groups of small Morley rank

Adrien Deloro
Doctoral. Colombia. 2018
Lectures cel-01989811v1
Image document

Partial orders and immunity in reverse mathematics

Ludovic Patey
Computability, 2018, 7 (4), pp.323-339. ⟨10.3233/COM-170071⟩
Journal articles hal-01888773v1
Image document

Iterative forcing and hyperimmunity in reverse mathematics

Ludovic Patey
Computability, 2017, 6 (3), pp.209 - 221. ⟨10.3233/COM-160062⟩
Journal articles hal-01888601v1
Image document

The strength of the tree theorem for pairs in reverse mathematics

Ludovic Patey
The Journal of Symbolic Logic, 2016, 81 (04), pp.1481 - 1499. ⟨10.1017/jsl.2015.80⟩
Journal articles hal-01888614v1