scientific article
From MaRDI portal
Publication:4035693
zbMath0773.03006MaRDI QIDQ4035693
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fixed point logicexpressive powersuccessor relationpolynomial time computable queriesexistential fragmentfragment of second-order logicsecond order Horn logic
Related Items (5)
Algebraic and logical characterizations of deterministic linear time classes ⋮ Logics of Finite Hankel Rank ⋮ On the complexity of single-rule datalog queries. ⋮ Capturing the polynomial hierarchy by second-order revised Krom logic ⋮ A second-order system for polytime reasoning based on Grädel's theorem.
This page was built for publication:
