Searching for authors named "Jan Terlouw" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

A Proof of Strong Normalization for Generalized Labelled Beta-Reduction By Means of the Successor Relation Method
by Jan Terlouw — 1998
… relation method Jan Terlouw Department of Mathematics and Computing Science, University of Groningen, P…
Add To MetaCart

Algebraic Proof Assistants in HOL
by Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding — 1995 — 1 OS5 ) .I. P~~JK Cltertr. 89. 5767-577 1 . Pri
…Algebraic Proof Assistants in HOL Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB