A formalism for treating equivalence of recursive procedures
Page 1
Displaying 1 – 13 of 13
A note on comparison of Turing machines with computers
Karel Čulík (1975)
Časopis pro pěstování matematiky
A note on van Wijngaarden syntax
Domonkos Asztalos (1974)
Časopis pro pěstování matematiky
A parenthesis machine for string manipulation
Mariangiola Dezani-Ciancaglini (1974)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
À propos de la sémantique de l'appel par valeur selon A. Arnold
I. Guessarian (1978)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Algebraic definition of a functional programming language and its semantic models
Manfred Broy, Martin Wirsing (1983)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Algebraical loops and transformation of variables
Karel Beneš (1989)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Algorithmization of algebras and relational structures
Karel Čulík (1972)
Commentationes Mathematicae Universitatis Carolinae
An algebraic treatment of flow diagrams and its application to generalized recursion theory
Dimiter Skordev (1982)
Banach Center Publications
An analysis of programs by algebraic means
A. Blikle (1977)
Banach Center Publications
An introduction to algorithmic logic. Metamathematical investigations in the theory of programs
L. Banachowski, A. Kreczmar, G. Mirkowska, H. Rasiowa, A. Sławicki (1977)
Banach Center Publications
ARCO pour la programmation arithmétique et combinatoire
Jean Berstel (1977)
Mémoires de la Société Mathématique de France
Asynchronous serioparallel execution of the loop
Pavel Kunc (1976)
Kybernetika
Currently displaying 1 – 13 of 13
Page 1