Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata

DOI10.1007/978-3-319-07151-0_21zbMath1417.68080OpenAlexW2259132696MaRDI QIDQ5170722

Xiaojuan Cai, Mizuhito Ogawa

Publication date: 24 July 2014

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-07151-0_21

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (4)

Nested Timed Automata with Frozen Clocks ⋮ Analyzing pushdown systems with stack manipulation ⋮ Unnamed Item ⋮ Reachability relations of timed pushdown automata

This page was built for publication: Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata