Search filters

List of works by Michael Benedikt

Generating Plans from Proofs

scientific article published in 2016

Interpolation with Decidable Fixpoint Logics

scientific article

Rewriting the Infinite Chase for Guarded TGDs

scientific article published on 18 September 2024

Structural properties of XPath fragments

XPath satisfiability in the presence of DTDs

May 2008 scholarly article in Journal of the ACM

Paulina is supported by:

About Paulina

Help