Michael Franssen

	2001
3		Twan Laan, Michael Franssen: Embedding First-order Logic in a Pure Type System with Parameters. J. Log. Comput. 11(4): 545-557 (2001)
	2000
2		Michael Franssen, Remco C. Veltkamp, Wieger Wesselink: Efficient evaluation of triangular B-spline surfaces. Computer Aided Geometric Design 17(9): 863-877 (2000)
	1998
1		Michael Franssen: Embedding First-Order Tableaux into a Pure Type System. Electr. Notes Theor. Comput. Sci. 17: (1998)

Coauthor Index

1	Twan Laan	[3]
2	Remco C. Veltkamp	[2]
3	Wieger Wesselink	[2]

Colors in the list of coauthors