Skip to content
<title>Channels - On the Complexity of Equivalence and Minimisation for Q-weighted Automata :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
On the Complexity of Equivalence and Minimisation for Q-weighted Automata
Search for more channels:
Similar Items: On the Complexity of Equivalence and Minimisation for Q-weighted Automata
Channel Options
View Record
Explore related channels
Quick Look
Minimisation of Multiplicity Tree Automata
Quick Look
Bisimulations Meet PCTL Equivalences for Probabilistic Automata
Quick Look
Beyond Language Equivalence on Visibly Pushdown Automata
Quick Look
Pushing for weighted tree automata
Quick Look
Pumping lemmas for weighted automata
Quick Look
Weighted omega-Restricted One Counter Automata
Quick Look
Coalgebras for Bisimulation of Weighted Automata over Semirings
Quick Look
Feasability of Learning Weighted Automata on a Semiring
Quick Look
Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
Quick Look
Complexity classifications for different equivalence and audit problems for Boolean circuits
Quick Look
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
Quick Look
Behavioural equivalences for timed systems
Quick Look
On the Strong Equivalences for LPMLN Programs
Quick Look
Qualitative Logics and Equivalences for Probabilistic Systems
Quick Look
Proof equivalence in MLL is PSPACE-complete
Quick Look
On p/q-recognisable sets
Quick Look
General Bindings and Alpha-Equivalence in Nominal Isabelle
Quick Look
A Reduced Semantics for Deciding Trace Equivalence
Quick Look
2-adjoint equivalences in homotopy type theory
Quick Look
Equivalence checking for weak bi-Kleene algebra
Quick Look
Petri Automata
Quick Look
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
Quick Look
Contextual equivalence for higher-order pi-calculus revisited
Quick Look
Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators
Load more items
View Record
Prev
Explore related channels
Next
