Weighted Pushdown Systems with Indexed Weight Domains

DOI10.2168/LMCS-12(2:9)2016zbMath1448.68311arXiv1603.07790MaRDI QIDQ5739894

Yasuhiko Minamide

Publication date: 6 July 2016

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1603.07790

zbMATH Keywords

reachability analysissemiringpushdown system

Mathematics Subject Classification ID

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

Related Items (1)

Analyzing pushdown systems with stack manipulation

This page was built for publication: Weighted Pushdown Systems with Indexed Weight Domains