-
161
-
162
-
163
-
164
-
165
-
166
An Algebraic Characterization of Prefix-Strict Languages
Published 2022-09-01Subjects: Get full text
Article -
167
Degrees of Lookahead in Regular Infinite Games
Published 2012-09-01Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article -
168
Residuality and Learning for Nondeterministic Nominal Automata
Published 2022-02-01Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article -
169
B\"uchi Complementation and Size-Change Termination
Published 2012-02-01Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article -
170
On the Expressive Power of Higher-Order Pushdown Systems
Published 2020-08-01Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article -
171
Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words
Published 2019-01-01Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article -
172
A decidable characterization of locally testable tree languages
Published 2011-11-01Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article -
173
Hypercompositional Algebra, Computer Science and Geometry
Published 2020-08-01Subjects: Get full text
Article -
174
The Complexity of Aggregates over Extractions by Regular Expressions
Published 2023-08-01Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article -
175
Register Games
Published 2020-05-01Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article -
176
-
177
Inkdots as advice for finite automata
Published 2017-09-01Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article -
178
On the Languages Accepted by Watson-Crick Finite Automata with Delays
Published 2021-04-01Subjects: Get full text
Article -
179
Collaboration vs. choreography conformance in BPMN
Published 2020-10-01Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article -
180
Weighted Pushdown Systems with Indexed Weight Domains
Published 2016-06-01Subjects: “…computer science - formal languages and automata theory…”
Get full text
Article