Amanote Research
Register
Sign In
Lower Bounds for Complementation of Omega-Automata via the Full Automata Technique
Logical Methods in Computer Science
- Germany
doi 10.2168/lmcs-4(1:5)2008
Full Text
Open PDF
Abstract
Available in
full text
Categories
Computer Science
Theoretical Computer Science
Date
March 19, 2008
Authors
Qiqi Yan
Publisher
Logical Methods in Computer Science e.V.