J. Terlouw

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1983

2 Jan A. Bergstra, J. Terlouw: Standard Model Semantics for DSL A Data Type Specification Language. Acta Inf. 19: 97-113 (1983)

1981

1 Jan A. Bergstra, J. Terlouw: A Characterization of Program Equivalence in Terms of Hoare's Logic. GI Jahrestagung 1981: 72-77

1983
2		Jan A. Bergstra, J. Terlouw: Standard Model Semantics for DSL A Data Type Specification Language. Acta Inf. 19: 97-113 (1983)
1981
1		Jan A. Bergstra, J. Terlouw: A Characterization of Program Equivalence in Terms of Hoare's Logic. GI Jahrestagung 1981: 72-77

Coauthor Index

1 Jan A. Bergstra [1] [2]