20 citations · 20 across the 2 of their papers we have counts for
2 papers
cs.LO2012★ 20 cited
Proceedings Fourth Workshop on Classical Logic and Computation
Herman Geuvers, Ugo de'Liguoro
CL&C'12 was the fourth of a conference series on "Classical Logic and Computation", held as satellite to ICALP'12 on Sunday July 8, 2012 in Warwick, England. CL&C intends to cover…
cs.LO2009
Degrees of Undecidability in Rewriting
Joerg Endrullis, Herman Geuvers, Hans Zantema
Undecidability of various properties of first order term rewriting systems is well-known. An undecidable property can be classified by the complexity of the formula defining it. Th…