scholarly journals Induction of recursive program schemes

Author(s):  
Ute Schmid ◽  
Fritz Wysotzki
Keyword(s):  







2006 ◽  
Vol 366 (1-2) ◽  
pp. 3-59 ◽  
Author(s):  
Stefan Milius ◽  
Lawrence S. Moss


Cybernetics ◽  
1977 ◽  
Vol 13 (3) ◽  
pp. 365-374 ◽  
Author(s):  
A. V. Anisimov




1982 ◽  
Vol 17 (3) ◽  
pp. 235-257 ◽  
Author(s):  
Bruno Courcelle ◽  
Paul Franchi-Zannettacci


Sign in / Sign up

Export Citation Format

Share Document