scientific article
From MaRDI portal
Publication:3140640
zbMath0789.03046MaRDI QIDQ3140640
Publication date: 5 December 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
The equivalence of theories that characterize ALogTime ⋮ Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\) ⋮ Unnamed Item ⋮ On End‐Extensions of Models of ¬exp ⋮ A second-order system for polytime reasoning based on Grädel's theorem. ⋮ Criticality of regular formulas
This page was built for publication:
