11 citations · 11 across the 2 of their papers we have counts for
2 papers
math.LO2016
Non-Obfuscated Unprovable Programs & Many Resultant Subtleties
John Case, Michael Ralston
The \emph{International Obfuscated C Code Contest} was a programming contest for the most creatively obfuscated yet succinct C code. By \emph{contrast}, an interest herein is in pr…
cs.FL2013★ 11 cited
Automatic functions, linear time and learning
John Case, Sanjay Jain, Samuel Seah +1
The present work determines the exact nature of {\em linear time computable} notions which characterise automatic functions (those whose graphs are recognised by a finite automaton…