Decidable weighted expressions with Presburger combinators
From MaRDI portal
Publication:5915759
DOI10.1007/978-3-662-55751-8_20zbMath1429.68112arXiv1706.08855MaRDI QIDQ5915759
Emmanuel Filiot, Jean-François Raskin, Nicolas Mazzocchi
Publication date: 22 November 2017
Published in: Journal of Computer and System Sciences, Fundamentals of Computation Theory (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1706.08855