wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

alternation_hierarchy (194B)

      1 # Alternation hierarchy
      2 
      3 Hierarchy of [first_order_logic] on [quantifier_alternation_depth]
      4 
      5 Up: [hierarchy] of [first_order_logic]
      6 
      7 See also: [automata_alternating], [alternation], [dot_depth]