Hierarchies in classes of program schemes
From MaRDI portal
Publication:4943505
DOI10.1093/logcom/9.6.915zbMath0945.68076MaRDI QIDQ4943505
Iain A. Stewart, Argimiro Arratia Quesada, S. R. Chauhan
Publication date: 16 March 2000
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: http://dro.dur.ac.uk/5734/1/5734.pdf
Related Items
Using Program Schemes to Capture Polynomial-Time Logically on Certain Classes of Structures, On the power of deep pushdown stacks, Program schemes, arrays, Lindström quantifiers and zero-one laws, Program Schemes with Deep Pushdown Storage