OpenAlex | State of B\"uchi Complementation

State of B\"uchi Complementation

Work

Year: 2014

Type: article

Abstract: Complementation of B\"uchi automata has been studied for over five decades since the formalism was introduced in 1960. Known complementation constructions can be classified into Ramsey-based, determin... more

Source: Logical Methods in Computer Science

Authors Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay

Institutions National Taiwan University, Trinity University, Rice University

Cites: 36

Cited by: 20

Related to: 10

FWCI: 1.423

Citation percentile (by year/subfield): 84.29

Topic: semigroups and automata theory

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Sustainable Development Goal Sustainable cities and communities

Open Access status: diamond