Vincent Atassi

	2007
4		Vincent Atassi, Patrick Baillot, Kazushige Terui: Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic CoRR abs/0710.1153: (2007)
3		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		Vincent Atassi, Patrick Baillot, Kazushige Terui: Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic. CSL 2006: 150-166
1		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]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page