Work

The Boundary Between Decidability and Undecidability for Transitive-Closure Logics

Year: 2004

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-540-30124-0_15

Authors: Neil Immerman, Alex Rabinovich, Tom Reps, Mooly Sagiv, Greta Yorsh

Institutions: University of Massachusetts System, Tel Aviv University, University of Wisconsin System

Language: English

Topic: semigroups and automata theory

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1485718948

FWCI: 6.313

Cites: 18

Cited by: 84

Related to: 10