Accéder directement au contenu

Thomas Seiller

2
Documents

Publications

710084

Interaction Graphs: Full Linear Logic

Thomas Seiller
IEEE/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.

Clément Aubert , Marc Bagnol , Thomas Seiller
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