#### Filter Results:

- Full text PDF available (3)

#### Publication Year

1982

2004

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Jan Terlouw
- Ann. Pure Appl. Logic
- 1995

We explore several ways to formalize the algebraic laws of CSP-like languages in HOL. The intent of the paper is to show how HOL can be tailored to acting as a proof assistant. The emphasis is therefore on the consequences of various choices to be made during the formalization for writing tactics. We end up with a proof assistant that allows a user to make… (More)

- Jan Terlouw
- Ann. Pure Appl. Logic
- 1985

- Jan Terlouw
- J. Symb. Log.
- 1982

- Jan Terlouw
- 1998

Introduction The so-called successor relation method was introduced by Sanchis S] in order to prove results, in particular strong normalization, concerning a certain notion of reduction (in connection with GG odel's system T). The method has been further elaborated by Howard H] and in T] it has been exploited to prove semantical results concerning terms… (More)

- Rein Smedinga, Jan Terlouw
- 2004

<lb>Segmentation is a technique that is widely used in low-level image processing. Images<lb>obtained from a camera need some processing before higher-level decision operations can<lb>be made. Often, objects have to be recognized which influence the behavior of the over-<lb>all system.Examples of such operations are car steering systems, autonomous robots… (More)

- M A Umans-Eckenhausen, J F Terlouw, A Szatmari, J N van den Anker
- Tijdschrift voor kindergeneeskunde
- 1993

Non glycoside inotropic agents are regularly used in the treatment of critically ill neonates. There are reasons to believe that the neonate reacts differently to these inotropic agents because of differences in physiology and maturation. In this paper the oxygen consumption and oxygen transport, heart failure in the newborn, effects of non glycoside… (More)

- ‹
- 1
- ›