2004 | ||
---|---|---|
8 | EE | 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 | EE | C. F. M. Vermeulen: Sound search in a denotational semantics for first order logic CoRR cs.LO/0307067: (2003) |
2002 | ||
6 | EE | Krzysztof R. Apt, C. F. M. Vermeulen: First-Order Logic as a Constraint Programming Language. LPAR 2002: 19-35 |
5 | EE | 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) |
1 | Krzysztof R. Apt | [5] [6] |