Nominal Automata with Name Binding (Q2988364): Difference between revisions

@@ Property / cites work @@
+Q5452362
@@ Property / cites work: Q5452362 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737206
@@ Property / cites work: Q4737206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2957477
@@ Property / cites work: Q2957477 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata theory in nominal sets
@@ Property / cites work: Automata theory in nominal sets / rank @@
+Normal rank
@@ Property / cites work @@
+A Robust Class of Data Languages and an Application to Learning
+Normal rank
@@ Property / cites work @@
+Unambiguity in Automata Theory
@@ Property / cites work: Unambiguity in Automata Theory / rank @@
+Normal rank
@@ Property / cites work @@
+LTL with the freeze quantifier and register automata
+Normal rank
@@ Property / cites work @@
+Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax
+Normal rank
@@ Property / cites work @@
+Freshness and Name-Restriction in Sets of Traces with Names
+Normal rank
@@ Property / cites work @@
+Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes
+Normal rank
@@ Property / cites work @@
+History-Register Automata
@@ Property / cites work: History-Register Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Variable Automata over Infinite Alphabets
@@ Property / cites work: Variable Automata over Infinite Alphabets / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract denotational semantics for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Finite-memory automata
@@ Property / cites work: Finite-memory automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472919
@@ Property / cites work: Q5472919 / rank @@
+Normal rank
@@ Property / cites work @@
+FINITE-MEMORY AUTOMATA WITH NON-DETERMINISTIC REASSIGNMENT
+Normal rank
@@ Property / cites work @@
+Nominal Kleene Coalgebra
@@ Property / cites work: Nominal Kleene Coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness and Incompleteness in Nominal Kleene Algebra
+Normal rank
@@ Property / cites work @@
+On Nominal Regular Languages with Binders
@@ Property / cites work: On Nominal Regular Languages with Binders / rank @@
+Normal rank
@@ Property / cites work @@
+Regular expressions for data words
@@ Property / cites work: Regular expressions for data words / rank @@
+Normal rank
@@ Property / cites work @@
+Walking on data words
@@ Property / cites work: Walking on data words / rank @@
+Normal rank
@@ Property / cites work @@
+Finite state machines for strings over infinite alphabets
+Normal rank
@@ Property / cites work @@
+Nominal Sets
@@ Property / cites work: Nominal Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Automata and Logics for Words and Trees over an Infinite Alphabet
+Normal rank
@@ Property / cites work @@
+Completeness Results for Parameterized Space Classes
+Normal rank
@@ Property / cites work @@
+Nominal Domain Theory for Concurrency
@@ Property / cites work: Nominal Domain Theory for Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Fresh-register automata
@@ Property / cites work: Fresh-register automata / rank @@
+Normal rank