zbMath0609.68018MaRDI QIDQ1087007
G. E. Tsejtlin
Publication date: 1986 Published in: Programming and Computer Software (Search for Journal in Brave)
zbMATH Keywords
abstract data typealgorithmic algebrasGlushkov's systems
Mathematics Subject Classification ID
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
