Michael Franssen

Publication Activity (10 Years)

Years Active: 1998-2010
Publications (10 Years): 0

Publications

Michael Franssen
Cocktail II. WING@ETAPS/IJCAR (2010)
Twan Laan, Michael Franssen
Embedding First-order Logic in a Pure Type System with Parameters. J. Log. Comput. 11 (4) (2001)
Michael Franssen, Remco C. Veltkamp, Wieger Wesselink
Efficient evaluation of triangular B-spline surfaces. Comput. Aided Geom. Des. 17 (9) (2000)
Michael Franssen
Embedding First-Order Tableaux into a Pure Type System. Electron. Notes Theor. Comput. Sci. 17 (1998)