55 citations · 114 across the 15 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 4 cited
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
Amélie Gheerbrant, Balder ten Cate
We consider a specific class of tree structures that can represent basic structures in linguistics and computer science such as XML documents, parse trees, and treebanks, namely, f…
cs.DB2012★ 6 cited
Queries with Guarded Negation (full version)
Vince Barany, Balder ten Cate, Martin Otto
A well-established and fundamental insight in database theory is that negation (also known as complementation) tends to make queries difficult to process and difficult to reason ab…