The Expressive Power of Deterministic Context-free Dynamic LogicMassachusetts Institute of Technology, Department of Mathematics, 1985 - 92 Seiten |
The Expressive Power of Deterministic Context-free Dynamic LogicMassachusetts Institute of Technology, Department of Mathematics, 1985 - 92 Seiten |