Proving non-termination by finite automata
Work
Year: 2015
Type: article
Authors Jörg Endrullis, Hans Zantema
Cites:
Cited by: 11
Related to: 20
FWCI: 0.403
Citation percentile (by year/subfield): 70.14
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: closed