dblp.uni-trier.dewww.uni-trier.de

C. F. M. Vermeulen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
8EEC. F. M. Vermeulen: Axiomatization of a Denotational Semantics for First-order Logic. Logic Journal of the IGPL 12(4): 277-299 (2004)
2003
7EEC. F. M. Vermeulen: Sound search in a denotational semantics for first order logic CoRR cs.LO/0307067: (2003)
2002
6EEKrzysztof R. Apt, C. F. M. Vermeulen: First-Order Logic as a Constraint Programming Language. LPAR 2002: 19-35
5EEKrzysztof R. Apt, C. F. M. Vermeulen: First-order Logic as a Constraint Programming Language CoRR cs.LO/0208032: (2002)
2001
4 C. F. M. Vermeulen: A Calculus of Substitutions for DPL. Studia Logica 68(3): 357-387 (2001)
2000
3 C. F. M. Vermeulen: Variables as Stacks. Journal of Logic, Language and Information 9(2): 143-167 (2000)
2 C. F. M. Vermeulen: Text Structure and Proof Structure. Journal of Logic, Language and Information 9(3): 273-311 (2000)
1994
1 C. F. M. Vermeulen: Incremental Semantics for Propositional Texts. Notre Dame Journal of Formal Logic 35(2): 243-271 (1994)

Coauthor Index

1Krzysztof R. Apt [5] [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)