Fast computations on ordered nominal sets (Q5918532): Difference between revisions

@@ Property / describes a project that uses @@
+LOIS
@@ Property / describes a project that uses: LOIS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FreshOCaml
@@ Property / describes a project that uses: FreshOCaml / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NLambda
@@ Property / describes a project that uses: NLambda / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2022.09.002
+Normal rank
@@ Property / OpenAlex ID @@
+W4288567395
@@ Property / OpenAlex ID: W4288567395 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast computations on ordered nominal sets
@@ Property / cites work: Fast computations on ordered nominal sets / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-memory automata
@@ Property / cites work: Finite-memory automata / 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 @@
+The power of symbolic automata and transducers
@@ Property / cites work: The power of symbolic automata and transducers / rank @@
+Normal rank
@@ Property / cites work @@
+History-Register Automata
@@ Property / cites work: History-Register Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Automata and Logics for Words and Trees over an Infinite Alphabet
+Normal rank
@@ Property / cites work @@
+Learning Register Automata with Fresh Value Generation
+Normal rank
@@ Property / cites work @@
+A Fresh Approach to Learning Register Automata
@@ Property / cites work: A Fresh Approach to Learning Register Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Active learning for extended finite state machines
+Normal rank
@@ Property / cites work @@
+Learning Symbolic Automata
@@ Property / cites work: Learning Symbolic Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Learning nominal automata
@@ Property / cites work: Learning nominal automata / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Nominal Sets
@@ Property / cites work: Nominal Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5013828
@@ Property / cites work: Q5013828 / rank @@
+Normal rank
@@ Property / cites work @@
+LOIS: syntax and semantics
@@ Property / cites work: LOIS: syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3601861
@@ Property / cites work: Q3601861 / rank @@
+Normal rank
@@ Property / cites work @@
+WQO dichotomy for 3-graphs
@@ Property / cites work: WQO dichotomy for 3-graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Families of Symmetries as Efficient Models of Resource Binding
+Normal rank
@@ Property / cites work @@
+A Machine-Independent Characterization of Timed Languages
+Normal rank
@@ Property / cites work @@
+Learning regular sets from queries and counterexamples
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29--April 6, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+Purely Functional Data Structures
@@ Property / cites work: Purely Functional Data Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Towards nominal computation
@@ Property / cites work: Towards nominal computation / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
+Normal rank
@@ Property / cites work @@
+Symmetries, local names and dynamic (de)-allocation of names
+Normal rank
@@ Property / cites work @@
+Bisimilarity in Fresh-Register Automata
@@ Property / cites work: Bisimilarity in Fresh-Register Automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Generic Algorithm for Learning Symbolic Automata from Membership Queries
+Normal rank