Pages that link to "Item:Q2931822"
From MaRDI portal
The following pages link to Checking NFA equivalence with bisimulations up to congruence (Q2931822):
Displaying 26 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- Algorithms for Kleene algebra with converse (Q299194) (← links)
- The dual equivalence of equations and coequations for automata (Q498397) (← links)
- A general account of coinduction up-to (Q523132) (← links)
- Proving language inclusion and equivalence by coinduction (Q899321) (← links)
- A theoretical framework for cardinality-based feature models: the semantics and computational aspects (Q1647962) (← links)
- (in)finite trace equivalence of probabilistic transition systems (Q1798789) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- A symbolic decision procedure for symbolic alternating finite automata (Q2130584) (← links)
- Manipulation of regular expressions using derivatives: an overview (Q2164731) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Robust biomolecular finite automata (Q2306018) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Completeness and incompleteness in nominal Kleene algebra (Q2401017) (← links)
- Extracting Proofs from Tabled Proof Search (Q2938048) (← links)
- Deciding Synchronous Kleene Algebra with Derivatives (Q2947408) (← links)
- Final Semantics for Decorated Traces (Q3178274) (← links)
- Fair Termination for Parameterized Probabilistic Concurrent Systems (Q3303911) (← links)
- Up-To Techniques for Weighted Systems (Q3303913) (← links)
- Width of Non-deterministic Automata (Q3304146) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- (Q5089290) (← links)
- (Q5111636) (← links)
- (Q5875344) (← links)
- (Q5875403) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
