Filter your results
- 4
- 1
- 5
- 2
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Unary Resolution: Characterizing Ptime.Foundations of Software Science and Computation Structures (FOSSACS), Apr 2016, Eindhoven, Netherlands. pp.373-389, ⟨10.1007/978-3-662-49630-5_22⟩
Conference papers
hal-01321239v1
|
||
On the dependencies of logical rulesFOSSACS, 18th International Conference on Foundations of Software Science and Computation Structures, Apr 2015, London, United Kingdom
Conference papers
hal-01110340v1
|
|||
Analyse de dépendances et correction des réseaux de preuveJFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France
Conference papers
hal-01110338v1
|
|||
|
Synchronous Machines: a Traced Category[Research Report] 2012
Reports
hal-00748010v3
|
||
|
Büchi Good-for-Games Automata Are Efficiently Recognizable38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018), Dec 2018, Ahmedabad, India. pp.16, ⟨10.4230/LIPIcs.FSTTCS.2018.16⟩
Conference papers
hal-01910632v1
|