activity
20152019
most citedFirst-Order Logic Theorem Proving and Model Building via Approximation and Instantiation

2 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing 2017Show all

1 paper · 1 filter

cs.LO2017

Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints

Andreas Teucke, Christoph Weidenbach

The monadic shallow linear Horn fragment is well-known to be decidable and has many application, e.g., in security protocol analysis, tree automata, or abstraction refinement. It w…