Skip to content
<title>Channels - Modal Interface Automata :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Modal Interface Automata
Search for more channels:
Similar Items: Modal Interface Automata
Channel Options
View Record
Explore related channels
Quick Look
Petri Automata
Quick Look
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
Quick Look
Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
Quick Look
Stochastic Timed Automata
Quick Look
Logic and Branching Automata
Quick Look
History-Register Automata
Quick Look
Inferring Symbolic Automata
Quick Look
Interface Modeling for Quality and Resource Management
Quick Look
A Common Interface for Automatic Differentiation
Quick Look
Modal Logics of Topological Relations
Quick Look
Completeness for the coalgebraic cover modality
Quick Look
A Light Modality for Recursion
Quick Look
Modalities in homotopy type theory
Quick Look
Modal Functional (Dialectica) Interpretation
Quick Look
Modal meet-implication logic
Quick Look
Sampled Semantics of Timed Automata
Quick Look
Weak Alternating Timed Automata
Quick Look
Automata theory in nominal sets
Quick Look
Refinement and Difference for Probabilistic Automata
Quick Look
Minimisation of Multiplicity Tree Automata
Quick Look
Data optimizations for constraint automata
Quick Look
Edit Distance for Pushdown Automata
Quick Look
Pushing for weighted tree automata
Quick Look
Pumping lemmas for weighted automata
Load more items
View Record
Prev
Explore related channels
Next
