4 citations · 5 across the 2 of their papers we have counts for
2 papers
math.HO2015★ 1 cited
Syntax versus Semantics
Reinhard Kahle, Wilfried Keller
We report on the idea to use colours to distinguish syntax and semantics as an educational tool in logic classes. This distinction gives also reason to reflect on some philosophica…
cs.LO2011★ 4 cited
An applicative theory for FPH
Reinhard Kahle, Isabel Oitavem
In this paper we introduce an applicative theory which characterizes the polynomial hierarchy of time.