Publication:4218940

zbMath0909.68119MaRDI QIDQ4218940

Orna Kupferman, Mihalis Yannakakis, Robert Kurshan

Publication date: 30 March 1999

zbMATH Keywords

language-containment problem

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)