An optimization of the alternating semantic evaluator
From MaRDI portal
Publication:1241055
DOI10.1016/0020-0190(77)90036-9zbMath0364.68044OpenAlexW2079936537WikidataQ61450098 ScholiaQ61450098MaRDI QIDQ1241055
Mikko Saarinen, Kari-Jouko Raeihae
Publication date: 1977
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(77)90036-9
Formal languages and automata (68Q45) General topics in the theory of software (68N01) Algorithms in computer science (68W99)
Related Items (1)
Cites Work
This page was built for publication: An optimization of the alternating semantic evaluator