Filter your results
- 283
- 69
- 157
- 85
- 69
- 15
- 9
- 6
- 5
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 352
- 192
- 6
- 2
- 1
- 4
- 18
- 18
- 13
- 13
- 18
- 23
- 18
- 18
- 17
- 10
- 18
- 8
- 23
- 20
- 11
- 12
- 23
- 17
- 9
- 10
- 7
- 5
- 2
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 317
- 34
- 1
- 92
- 79
- 66
- 51
- 47
- 32
- 28
- 13
- 12
- 11
- 11
- 11
- 7
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 43
- 20
- 19
- 17
- 17
- 16
- 16
- 9
- 9
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Undecidable Problems About Timed AutomataFORMATS'06, 2006, France. pp.187-199
Conference papers
hal-00121529v2
|
||
|
Forcing indestructibility of set-theoretic axioms2006
Preprints, Working Papers, ...
hal-00023750v1
|
||
|
Mac Lane's coherence theorem expressed as a word problem2003
Preprints, Working Papers, ...
hal-00154213v1
|
||
|
Locally Finite LanguagesTheoretical Computer Science, 2001, 255 (1-2), pp.223-261
Journal articles
hal-00102491v1
|
||
|
Wadge Hierarchy of Omega Context Free LanguagesTheoretical Computer Science, 2001, 269 (1-2), pp.283-315
Journal articles
hal-00102489v1
|
||
|
Axiomatic Rewriting Theory I : A Diagrammatic Standardization TheoremAart 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
|
||
|
An omega-Power of a Finitary Language Which is a Borel Set of Infinite RankFundamenta Informaticae, 2004, 62 (3-4), pp.333-342
Journal articles
hal-00108219v2
|
||
|
Separation of analytic sets by rectangles of low complexity.2014
Preprints, Working Papers, ...
hal-01006556v1
|
||
|
Definably amenable NIP groups2015
Preprints, Working Papers, ...
hal-01134431v1
|
||
|
On Bi-infinite and Conjugate Post Correspondence Problems2022
Preprints, Working Papers, ...
hal-03780128v1
|
||
|
Asynchronous Template Games and the Gray Tensor Product of 2-CategoriesLICS 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 Structures2022
Preprints, Working Papers, ...
hal-03710542v1
|
||
|
A parametricity-based formalization of semi-simplicial and semi-cubical sets2023
Preprints, Working Papers, ...
hal-03963929v1
|
||
|
Thinking and Calculating. Essays on Logic, its History and its Applications54, Springer International Publishing, 2022, Logic, Epistemology, and the Unity of Science, ⟨10.1007/978-3-030-97303-2⟩
Proceedings
hal-03874058v1
|
||
|
Absoluité du conducteur de matrice2016
Preprints, Working Papers, ...
hal-01291119v1
|
||
|
Sur l'identification non-ordinaire de PSL2Logicum Lugdunensis, Jun 2006, Lyon, France. pp.723-734, ⟨10.1017/S1474748008000194⟩
Conference papers
hal-01303272v1
|
||
|
The Determinacy of Context-Free GamesThe Journal of Symbolic Logic, 2013, 78 (4), pp.1115-1134
Journal articles
hal-00916865v1
|
||
|
Acyclicity and reduction2016
Preprints, Working Papers, ...
hal-01345440v1
|
||
|
A dependently-typed construction of semi-simplicial typesMathematical 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
|
||
|
An explicit formula for the free exponential modality of linear logic36th 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
|
||
|
On the High Complexity of Petri Nets $\omega$-Languages41st 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
|
||
|
Lambda theories of effective lambda modelsCSL'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
|
||
|
The geometry of involutions in ranked groups with a TI-subgroup2019
Preprints, Working Papers, ...
hal-01989989v2
|
||
A Proof Calculus Which Reduces Syntactic Bureaucracy21st 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 Systems2015
Preprints, Working Papers, ...
hal-01214119v1
|
||
|
Simple groups of Morley rank 5 are badThe Journal of Symbolic Logic, 2018, 83 (03), pp.1217-1228. ⟨10.1017/jsl.2017.86⟩
Journal articles
hal-01989804v1
|
||
|
Groups of small Morley rankDoctoral. Colombia. 2018
Lectures
cel-01989811v1
|
||
|
Partial orders and immunity in reverse mathematicsComputability, 2018, 7 (4), pp.323-339. ⟨10.3233/COM-170071⟩
Journal articles
hal-01888773v1
|
||
|
Iterative forcing and hyperimmunity in reverse mathematicsComputability, 2017, 6 (3), pp.209 - 221. ⟨10.3233/COM-160062⟩
Journal articles
hal-01888601v1
|
||
|
The strength of the tree theorem for pairs in reverse mathematicsThe Journal of Symbolic Logic, 2016, 81 (04), pp.1481 - 1499. ⟨10.1017/jsl.2015.80⟩
Journal articles
hal-01888614v1
|