On the complexity of inductive definitions

DOI10.1017/S0960129506005585zbMath1117.03050OpenAlexW2063577194MaRDI QIDQ3422019

Douglas Cenzer, Jeffery B. Remmel

Publication date: 9 February 2007

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129506005585

Mathematics Subject Classification ID

Logic programming (68N17) Inductive definability (03D70)