Work

On FO 2 Quantifier Alternation over Words

Year: 2009

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-03816-7_44

Authors: Manfred Kufleitner, Pascal Weil

Institutions: University of Stuttgart, Centre National de la Recherche Scientifique, Université de Bordeaux, Laboratoire Bordelais de Recherche en Informatique, Indian Institute of Technology Delhi

Language: English

Topic: semigroups and automata theory

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1832167103

FWCI: 0.578

Cites: 16

Cited by: 6

Related to: