Affordable Access

The FO2 alternation hierarchy is decidable

Authors
Publication Date
Source
Dagstuhl Research Online Publication Server
Keywords
  • First-Order Logic, Regular Language, Automata Theory, Semigroup, Ranker
  • Data Processing Computer Science
External links

Abstract

Statistics

Seen <100 times