Michael Franssen

According to our database, Michael Franssen authored at least 4 papers between 1998 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Cocktail II.

Michael Franssen

Proceedings of the Second International Workshop on Invariant Generation, 2010

2001

Embedding First-order Logic in a Pure Type System with Parameters.

Twan Laan, Michael Franssen

J. Log. Comput., 2001

2000

Efficient evaluation of triangular B-spline surfaces.

Michael Franssen, Remco C. Veltkamp, Wieger Wesselink

Comput. Aided Geom. Des., 2000

1998

Embedding First-Order Tableaux into a Pure Type System.

Michael Franssen

Proceedings of the Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), 1998