Variables and scopes considered formally

DOI10.1016/S0020-0190(00)00163-0zbMath0998.68075OpenAlexW2089630702WikidataQ127553699 ScholiaQ127553699MaRDI QIDQ1603432

R. Smith

Publication date: 14 July 2002

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(00)00163-0

zbMATH Keywords

variablesformal languagesrenaminginstantiationscopes

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Unnamed Item
• A more complete model of communicating processes

This page was built for publication: Variables and scopes considered formally