A decision method for first-order stream logic

DOI10.1007/978-3-031-63501-4_8MaRDI QIDQ7034593zbMATH OpenFDO

Authors Harald Rueß

Publication date 31 January 2025

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

formal power seriesfirst-order logicdecision proceduresquantifier eliminationstream calculusreal-closed rings

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: A decision method for first-order stream logic

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