The Expressive Power of Deterministic Context-free Dynamic Logic

Cover
Massachusetts Institute of Technology, Department of Mathematics, 1985 - 92 Seiten

Bibliografische Informationen