C. F. M. Vermeulen

	2004
8		C. F. M. Vermeulen: Axiomatization of a Denotational Semantics for First-order Logic. Logic Journal of the IGPL 12(4): 277-299 (2004)
	2003
7		C. F. M. Vermeulen: Sound search in a denotational semantics for first order logic CoRR cs.LO/0307067: (2003)
	2002
6		Krzysztof R. Apt, C. F. M. Vermeulen: First-Order Logic as a Constraint Programming Language. LPAR 2002: 19-35
5		Krzysztof 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

1

Krzysztof R. Apt

[5] [6]