C. F. M. Vermeulen

According to our database, C. F. M. Vermeulen authored at least 9 papers between 1993 and 2004.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2004

Axiomatization of a Denotational Semantics for First-order Logic.

C. F. M. Vermeulen

Log. J. IGPL, 2004

2003

Sound search in a denotational semantics for first order logic

C. F. M. Vermeulen

CoRR, 2003

2002

First-Order Logic as a Constraint Programming Language.

Krzysztof R. Apt, C. F. M. Vermeulen

Proceedings of the Logic for Programming, 2002

2001

A Calculus of Substitutions for DPL.

C. F. M. Vermeulen

Stud Logica, 2001

2000

Text Structure and Proof Structure.

C. F. M. Vermeulen

J. Log. Lang. Inf., 2000

Variables as Stacks.

C. F. M. Vermeulen

J. Log. Lang. Inf., 2000

1995

Merging without mystery or: Variables in dynamics semantics.

C. F. M. Vermeulen

J. Philos. Log., 1995

1994

Incremental Semantics for Propositional Texts.

C. F. M. Vermeulen

Notre Dame J. Formal Log., 1994

1993

Sequence semantics for dynamic predicate logic.

C. F. M. Vermeulen

J. Log. Lang. Inf., 1993