Decidable weighted expressions with Presburger combinators

DOI10.1007/978-3-662-55751-8_20MaRDI QIDQ6830165zbMATH OpenFDO

Authors Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin

Publication date 22 November 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-55751-8_20

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Formal languages and automata (68Q45)

This page was built for publication: Decidable weighted expressions with Presburger combinators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6830165)