Travelled to:1 × Austria
Collaborated with:∅
Talks about:semant (1) comput (1) power (1) order (1) logic (1) first (1) denot (1) more (1)
Person: Kess F. M. Vermeulen
DBLP: Vermeulen:Kess_F=_M=
Contributed to:
2003Wrote 1 papers:
- CSL-2003-Vermeulen #first-order #logic #semantics
- More Computation Power for a Denotational Semantics for First Order Logic (KFMV), pp. 530–543.