Variable automata over infinite alphabets
From MaRDI portal
Publication:3564896
DOI10.1007/978-3-642-13089-2_47zbMATH Open1284.68352OpenAlexW1580943896MaRDI QIDQ3564896FDOQ3564896
Authors: Orna Grumberg, Orna Kupferman, Sarai Sheinvald 
Publication date: 26 May 2010
Published in: Language and Automata Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-13089-2_47
Recommendations
Cited In (24)
- Forward and backward application of symbolic tree transducers
- Document spanners: a formal approach to information extraction
- Regular and context-free nominal traces
- Model checking usage policies
- An automata-theoretic approach to model-checking systems and specifications over infinite data domains
- An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet
- Variable tree automata over infinite ranked alphabets
- Set augmented finite automata over infinite alphabets
- Title not available (Why is that?)
- On-the-fly bisimilarity checking for fresh-register automata
- Weighted variable automata over infinite alphabets
- Layered memory automata: recognizers for quasi-regular languages with unbounded memory
- On temporal logics with data variable quantifications: decidability and complexity
- Extending two-variable logic on data trees with order on data values and its automata
- Using variable automata for querying data graphs
- Regular expressions for data words
- Inferring Symbolic Automata
- On the complexity of decision problems for parameterized finite state synchronous transducers
- Decision procedures for sequence theories
- Learning deterministic variable automata over infinite alphabets
- Nominal automata for resource usage control
- An automata-theoretic approach to reasoning about parameterized systems and specifications
- Nominal automata with name binding
- A class of automata for the verification of infinite, resource-allocating behaviours
This page was built for publication: Variable automata over infinite alphabets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3564896)
