Context-sensitive and context-free vectors of PD-coroutines languages
From MaRDI portal
Publication:760792
zbMath0555.68006MaRDI QIDQ760792
Publication date: 1984
Published in: Bulletin of the Polish Academy of Sciences. Technical Sciences (Search for Journal in Brave)
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: Context-sensitive and context-free vectors of PD-coroutines languages