Vincent Atassi

List of publications from the DBLP Bibliography Server - FAQ

2007

4 EE Vincent Atassi, Patrick Baillot, Kazushige Terui: Verification of Ptime Reducibility for system F Terms: Type Inference in<br> Dual Light Affine Logic CoRR abs/0710.1153: (2007)

3 EE Vincent Atassi, Patrick Baillot, Kazushige Terui: Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic. Logical Methods in Computer Science 3(4): (2007)

2006

2 EE Vincent Atassi, Patrick Baillot, Kazushige Terui: Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic. CSL 2006: 150-166

1 EE Vincent Atassi, Patrick Baillot, Kazushige Terui: Verification of Ptime reducibility for system F terms via Dual Light Affine Logic CoRR abs/cs/0603104: (2006)

2007
4	EE	Vincent Atassi, Patrick Baillot, Kazushige Terui: Verification of Ptime Reducibility for system F Terms: Type Inference in<br> Dual Light Affine Logic CoRR abs/0710.1153: (2007)
3	EE	Vincent Atassi, Patrick Baillot, Kazushige Terui: Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic. Logical Methods in Computer Science 3(4): (2007)
2006
2	EE	Vincent Atassi, Patrick Baillot, Kazushige Terui: Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic. CSL 2006: 150-166
1	EE	Vincent Atassi, Patrick Baillot, Kazushige Terui: Verification of Ptime reducibility for system F terms via Dual Light Affine Logic CoRR abs/cs/0603104: (2006)

Coauthor Index

1	Patrick Baillot	[1] [2] [3] [4]
2	Kazushige Terui	[1] [2] [3] [4]