Michael Franssen

List of publications from the DBLP Bibliography Server - FAQ

2001

3 EE 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 EE 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 EE Michael Franssen: Embedding First-Order Tableaux into a Pure Type System. Electr. Notes Theor. Comput. Sci. 17: (1998)

2001
3	EE	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	EE	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	EE	Michael Franssen: Embedding First-Order Tableaux into a Pure Type System. Electr. Notes Theor. Comput. Sci. 17: (1998)

Coauthor Index