Faster Algorithms for Weighted Recursive State Machines

From MaRDI portal
Publication:2988644

DOI10.1007/978-3-662-54434-1_11zbMath1485.68057arXiv1701.04914OpenAlexW2953023573MaRDI QIDQ2988644

Krishnendu Chatterjee, Andreas Pavlogiannis, Bernhard Kragl, Samarth Mishra

Publication date: 19 May 2017

Published in: Programming Languages and Systems (Search for Journal in Brave)

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




Related Items (2)


Uses Software


Cites Work


This page was built for publication: Faster Algorithms for Weighted Recursive State Machines