Grail
From MaRDI portal
Software:13134
No author found.
Related Items (19)
Assembling molecules in ATOMIX is hard ⋮ Efficient enumeration of words in regular languages ⋮ Unnamed Item ⋮ Robbins and Ardila meet Berstel ⋮ Efficient Enumeration of Regular Languages ⋮ G-CSF control of neutrophils dynamics in the blood ⋮ Wang tilings and distributed verification on anonymous torus networks ⋮ A faithful representation of non-associative Lambek grammars in abstract categorial grammars ⋮ Periodicity, repetitions, and orbits of an automatic sequence ⋮ Subset construction complexity for homogeneous automata, position automata and ZPC-structures ⋮ Normal form algorithms for extended context-free grammars ⋮ Direct and dual laws for automata with multiplicities ⋮ From Sequential Extended Regular Expressions to NFA with Symbolic Labels ⋮ Theorem Proving in Higher Order Logics ⋮ Implementation of Code Properties via Transducers ⋮ Enumerating regular expressions and their languages ⋮ Efficient implementation of regular languages using reversed alternating finite automata ⋮ Re-describing an algorithm by Hopcroft ⋮ Additive Number Theory via Approximation by Regular Languages
This page was built for software: Grail
