Non deterministic recursive program schemes

Fundamentals of Computation Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-08442-8_65 ◽

1977 ◽

pp. 12-21 ◽

Author(s):

A. Annold ◽

M. Nivat

Keyword(s):

Recursive Program

Download Full-text

Ein rekursives Programm für das Kalah-Spiel / A recursive program for the Kalah game

it - Information Technology ◽

10.1524/itit.1970.12.16.11 ◽

1970 ◽

Vol 12 (1-6) ◽

pp. 11-19

Author(s):

P. Rechenberg

Keyword(s):

Recursive Program

Download Full-text

Induction of recursive program schemes

Machine Learning: ECML-98 - Lecture Notes in Computer Science ◽

10.1007/bfb0026692 ◽

1998 ◽

pp. 214-225 ◽

Author(s):

Ute Schmid ◽

Fritz Wysotzki

Keyword(s):

Recursive Program

Download Full-text

The algebraic theory of recursive program schemes

Lecture Notes in Computer Science - Category Theory Applied to Computation and Control ◽

10.1007/3-540-07142-3_71 ◽

1975 ◽

pp. 126-131 ◽

Author(s):

R. M. Burstall ◽

J. W. Thatcher

Keyword(s):

Algebraic Theory ◽

Recursive Program

Download Full-text

The algebraic semantics of recursive program schemes

Mathematical Foundations of Computer Science 1978 - Lecture Notes in Computer Science ◽

10.1007/3-540-08921-7_53 ◽

1978 ◽

pp. 16-30 ◽

Author(s):

B. Courcelle ◽

M. Nivat

Keyword(s):

Algebraic Semantics ◽

Recursive Program

Download Full-text

W. P. de RoeverJr., Recursive program schemes: semantics and proof theory. Mathematical Centre tracts, no. 70. Mathematisch Centrum, Amsterdam1976, ix + 112 pp.

Journal of Symbolic Logic ◽

10.2307/2273307 ◽

1979 ◽

Vol 44 (4) ◽

pp. 658-659

Author(s):

Peter Lauer

Keyword(s):

Proof Theory ◽

Recursive Program

Download Full-text

Equivalences and transformations of regular systems—Applications to recursive program schemes and grammars

Theoretical Computer Science ◽

10.1016/0304-3975(86)90050-2 ◽

1986 ◽

Vol 42 ◽

pp. 1-122 ◽

Author(s):

Bruno Courcelle

Keyword(s):

Recursive Program

Download Full-text

The category-theoretic solution of recursive program schemes

Theoretical Computer Science ◽

10.1016/j.tcs.2006.07.002 ◽

2006 ◽

Vol 366 (1-2) ◽

pp. 3-59 ◽

Author(s):

Stefan Milius ◽

Lawrence S. Moss

Keyword(s):

Recursive Program ◽

Theoretic Solution

Download Full-text

Syntactic properties of recursive program schemes

Cybernetics ◽

10.1007/bf01069653 ◽

1977 ◽

Vol 13 (3) ◽

pp. 365-374 ◽

Author(s):

A. V. Anisimov

Keyword(s):

Recursive Program ◽

Syntactic Properties

Download Full-text

The Category Theoretic Solution of Recursive Program Schemes

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/11548133_19 ◽

2005 ◽

pp. 293-312 ◽

Author(s):

Stefan Milius ◽

Lawrence S. Moss

Keyword(s):

Recursive Program ◽

Theoretic Solution

Download Full-text

Attribute grammars and recursive program schemes II

Theoretical Computer Science ◽

10.1016/0304-3975(82)90024-x ◽

1982 ◽

Vol 17 (3) ◽

pp. 235-257 ◽

Author(s):

Bruno Courcelle ◽

Paul Franchi-Zannettacci

Keyword(s):

Attribute Grammars ◽

Recursive Program

Download Full-text