Program Size Complexity of Correction Grammars in the Ershov Hierarchy

John Case, James S. Royer. Program Size Complexity of Correction Grammars in the Ershov Hierarchy. In Arnold Beckmann, Laurent Bienvenu, Natasa Jonoska, editors, Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings. Volume 9709 of Lecture Notes in Computer Science, pages 240-250, Springer, 2016. [doi]

Abstract

Abstract is missing.