The following pages link to Grail (Q13134):
Displaying 19 items.
- Wang tilings and distributed verification on anonymous torus networks (Q675863) (← links)
- Efficient enumeration of words in regular languages (Q840765) (← links)
- A faithful representation of non-associative Lambek grammars in abstract categorial grammars (Q972436) (← links)
- Efficient implementation of regular languages using reversed alternating finite automata (Q1575901) (← links)
- Re-describing an algorithm by Hopcroft (Q1589443) (← links)
- Assembling molecules in ATOMIX is hard (Q1885003) (← links)
- Enumerating regular expressions and their languages (Q2074215) (← links)
- Periodicity, repetitions, and orbits of an automatic sequence (Q2271417) (← links)
- G-CSF control of neutrophils dynamics in the blood (Q2426363) (← links)
- Robbins and Ardila meet Berstel (Q2656345) (← links)
- Implementation of Code Properties via Transducers (Q2830220) (← links)
- From Sequential Extended Regular Expressions to NFA with Symbolic Labels (Q3073625) (← links)
- Efficient Enumeration of Regular Languages (Q3503909) (← links)
- (Q4955249) (← links)
- Theorem Proving in Higher Order Logics (Q5464660) (← links)
- Additive Number Theory via Approximation by Regular Languages (Q5859643) (← links)
- Subset construction complexity for homogeneous automata, position automata and ZPC-structures (Q5958722) (← links)
- Normal form algorithms for extended context-free grammars (Q5958723) (← links)
- Direct and dual laws for automata with multiplicities (Q5958727) (← links)
