Search the dblp DataBase
C. F. M. Vermeulen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Krzysztof R. Apt, C. F. M. Vermeulen
First-Order Logic as a Constraint Programming Language. [Citation Graph (0, 0)][DBLP]
LPAR, 2002, pp:19-35 [Conf] - Krzysztof R. Apt, C. F. M. Vermeulen
First-order Logic as a Constraint Programming Language [Citation Graph (0, 0)][DBLP]
CoRR, 2002, v:0, n:, pp:- [Journal] - C. F. M. Vermeulen
Sound search in a denotational semantics for first order logic [Citation Graph (0, 0)][DBLP]
CoRR, 2003, v:0, n:, pp:- [Journal] - C. F. M. Vermeulen
Axiomatization of a Denotational Semantics for First-order Logic. [Citation Graph (0, 0)][DBLP]
Logic Journal of the IGPL, 2004, v:12, n:4, pp:277-299 [Journal] - C. F. M. Vermeulen
Variables as Stacks. [Citation Graph (0, 0)][DBLP]
Journal of Logic, Language and Information, 2000, v:9, n:2, pp:143-167 [Journal] - C. F. M. Vermeulen
Text Structure and Proof Structure. [Citation Graph (0, 0)][DBLP]
Journal of Logic, Language and Information, 2000, v:9, n:3, pp:273-311 [Journal] - C. F. M. Vermeulen
Incremental Semantics for Propositional Texts. [Citation Graph (0, 0)][DBLP]
Notre Dame Journal of Formal Logic, 1994, v:35, n:2, pp:243-271 [Journal] - C. F. M. Vermeulen
A Calculus of Substitutions for DPL. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2001, v:68, n:3, pp:357-387 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002