Automata, Languages and Programming
From MaRDI portal
Publication:5716802
DOI10.1007/11523468zbMATH Open1084.03036OpenAlexW2940595899MaRDI QIDQ5716802FDOQ5716802
Authors: Paul Gastin, Manfred Droste 
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11523468
Recommendations
Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70)
Cited In (63)
- Weighted two-way transducers
- Weighted three directions OTA and weighted hexapolic picture automata
- Title not available (Why is that?)
- Weighted Automata, Formal Power Series and Weighted Logic
- Weight assignment logic
- Weighted two-way transducers
- Reasoning on multirelational contextual hierarchies via answer set programming with algebraic measures
- Weighted tree automata and weighted logics
- Modal transition systems with weight intervals
- Quantitative Kleene coalgebras
- TFHE: fast fully homomorphic encryption over the torus
- Pebble weighted automata and weighted logics
- Weighted versus Probabilistic Logics
- Weighted automata and weighted MSO logics for average and long-time behaviors
- Definable transductions and weighted logics for texts
- Crisp-determinization of weighted tree automata over strong bimonoids
- Weighted automata and monadic second order logic
- Handbook of weighted automata
- Weighted automata and weighted logics
- Weighted automata and weighted logics
- Automata theory based on lattice-ordered semirings
- Weighted automata and regular expressions over valuation monoids
- Title not available (Why is that?)
- Where automatic structures benefit from weighted automata
- A Büchi-like theorem for weighted tree automata over multioperator monoids
- Characterizations of Weighted First-Order Logics over Semirings
- Title not available (Why is that?)
- A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage
- Characterizing weighted MSO for trees by branching transitive closure logics
- Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids
- Weighted logics for unranked tree automata
- Weighted nested word automata and logics over strong bimonoids
- Weighted first-order logics over semirings
- Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
- Weighted automata and logics on graphs
- Weighted picture automata and weighted logics
- Reasoning about online algorithms with weighted automata
- Freeness properties of weighted and probabilistic automata over bounded languages
- Title not available (Why is that?)
- Describing average- and longtime-behavior by weighted MSO logics
- Weighted register automata and weighted logic on data words
- Weighted Automata and Weighted Logics on Infinite Words
- Weighted symbolic automata with data storage
- A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties
- Characterizations of recognizable weighted tree languages by logic and bimorphisms
- Deriving Syntax and Axioms for Quantitative Regular Behaviours
- Weighted automata as coalgebras in categories of matrices
- Determinization of fuzzy automata with membership values in complete residuated lattices
- Weighted Automata and Weighted Logics with Discounting
- Weighted automata
- Weighted Logics for Traces
- A Nivat theorem for weighted picture automata and weighted MSO logic
- Weighted Timed MSO Logics
- Quantitative vs. weighted automata
- Advances in weighted logics for artificial intelligence
- Weighted automata and multi-valued logics over arbitrary bounded lattices
- Weighted Restarting Automata and Pushdown Relations
- Title not available (Why is that?)
- Weighted monadic Datalog
- Automata with Auxiliary Weights
- Finite ambiguity and finite sequentiality in weighted automata over fields
- Title not available (Why is that?)
- Weighted automata and weighted logics on infinite words
This page was built for publication: Automata, Languages and Programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5716802)
