A decision method for first-order stream logic
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 1670802 (Why is no real title available?)
- scientific article; zbMATH DE number 4006367 (Why is no real title available?)
- scientific article; zbMATH DE number 3469994 (Why is no real title available?)
- scientific article; zbMATH DE number 3497890 (Why is no real title available?)
- scientific article; zbMATH DE number 1263427 (Why is no real title available?)
- scientific article; zbMATH DE number 1007358 (Why is no real title available?)
- scientific article; zbMATH DE number 1157649 (Why is no real title available?)
- scientific article; zbMATH DE number 3222940 (Why is no real title available?)
- scientific article; zbMATH DE number 3326566 (Why is no real title available?)
- [[:Publication:5177889|An existential \(\emptyset\)-definition of \(\mathbb F_q t\) in \(\mathbb F_q((t))\)]]
- Automatic Sequences
- Decision procedures for real and p‐adic fields
- Definability in the monadic second-order theory of successor
- Definable Henselian valuation rings
- EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
- Elements of stream calculus (an extensive exercise in coinduction)
- Formal Power Series
- Graph structure and monadic second-order logic. A language-theoretic approach
- MONA IMPLEMENTATION SECRETS
- On non-Archimedean valued fields: a survey of algebraic, topological and metric structures, analysis and applications
- On the combinatorial and algebraic complexity of quantifier elimination
- Quantifier elimination for real algebra -- the quadratic case and beyond
- Rational streams coalgebraically
- Real closed rings. II. Model theory
- Real quantifier elimination is doubly exponential
- Shorter Notes: On the Undecidability of Power Series Fields
- Specification and Development of Interactive Systems
- Specification and verification of concurrent systems by causality and realizability
- Stream Processing Functions
- Suites algébriques, automates et substitutions
- The removal of \pi from some undecidable problems involving elementary functions
- Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
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)
