Kess F. M. Vermeulen

List of publications from the DBLP Bibliography Server - FAQ

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

2003

1 EE Kess F. M. Vermeulen: More Computation Power for a Denotational Semantics for First Order Logic. CSL 2003: 530-543