- 1
- 1
Thomas Seiller
2
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
Interaction Graphs: Full Linear LogicIEEE/ACM Logic in Computer Science (LICS) 2016, Jul 2016, New-York, United States. ⟨10.1145/2933575.2934568⟩
Communication dans un congrès
hal-01312688v1
|
|
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⟩
Communication dans un congrès
hal-01321239v1
|