A formalization of sequential, parallel, and continuous rewriting
From MaRDI portal
Publication:4323388
DOI10.1080/00207169308804172zbMath0813.68123OpenAlexW2082425717MaRDI QIDQ4323388
Publication date: 16 February 1995
Published in: International Journal of Computer Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207169308804172
Related Items (1)
This page was built for publication: A formalization of sequential, parallel, and continuous rewriting