Problems of inclusion and equivalence for program schemata and formal languages

DOI10.1007/BF01132781zbMath0939.68689OpenAlexW2088202850MaRDI QIDQ1895011

L. P. Lisovik

Publication date: 6 August 1995

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01132781

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Metalinear schemes with transfer of constants
• The equivalence problem for real-time DPDAs
• The equivalence problem for deterministic finite-turn pushdown automata
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Problems of inclusion and equivalence for program schemata and formal languages