Pages that link to "Item:Q2429722"
From MaRDI portal
The following pages link to Weighted picture automata and weighted logics (Q2429722):
Displaying 15 items.
- A Büchi-like theorem for weighted tree automata over multioperator monoids (Q692910) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Weighted automata and weighted logics with discounting (Q840767) (← links)
- Weighted automata (Q2074206) (← links)
- A Nivat theorem for weighted picture automata and weighted MSO logics (Q2424674) (← links)
- Recognizable series on graphs and hypergraphs (Q2424675) (← links)
- Weighted logics for unranked tree automata (Q2429720) (← links)
- A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic (Q2799219) (← links)
- Weighted Automata and Logics on Infinite Graphs (Q2817384) (← links)
- Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics (Q2947150) (← links)
- (Q4558788) (← links)
- (Q5092440) (← links)
- Monitor Logics for Quantitative Monitor Automata (Q5111228) (← links)
- Pebble Weighted Automata and Weighted Logics (Q5169971) (← links)
- Relative approximate bisimulations for fuzzy picture automata (Q6559031) (← links)
