Login / Signup
Joël D. Allred
ORCID
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Upper Bound
Matching Algorithm
Minimum Length
Space Complexity
Top Venues
LICS
</>
Publications
</>
Joël D. Allred
,
Ulrich Ultes-Nitsche
A Simple and Optimal Complementation Algorithm for Büchi Automata.
LICS
(2018)