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

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

Corrigendum to: “The category theoretic solution of recursive program schemes” [Theoret. Comput. Sci. 366 (2006) 3–59]

Theoretical Computer Science ◽

10.1016/j.tcs.2008.05.009 ◽

2008 ◽

Vol 403 (2-3) ◽

pp. 409-415

Author(s):

Stefan Milius ◽

Lawrence S. Moss

Keyword(s):

Recursive Program ◽

Theoretic Solution

Download Full-text

A Learning Framework for Distribution-Based Game-Theoretic Solution Concepts

Proceedings of the 21st ACM Conference on Economics and Computation ◽

10.1145/3391403.3399509 ◽

2020 ◽

Author(s):

Tushant Jha ◽

Yair Zick

Keyword(s):

Solution Concepts ◽

Learning Framework ◽

Game Theoretic ◽

Theoretic Solution

Download Full-text

The Bicategory-Theoretic Solution of Recursive Domain Equations

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2007.02.008 ◽

2007 ◽

Vol 172 ◽

pp. 203-222

Author(s):

Gian Luca Cattani ◽

Marcelo P. Fiore

Keyword(s):

Theoretic Solution ◽

Recursive Domain Equations

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

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

An “Ethical” Game-Theoretic Solution Concept for Two-Player Perfect-Information Games

Lecture Notes in Computer Science - Internet and Network Economics ◽

10.1007/978-3-540-92185-1_75 ◽

2008 ◽

pp. 696-707 ◽

Author(s):

Joshua Letchford ◽

Vincent Conitzer ◽

Kamal Jain

Keyword(s):

Solution Concept ◽

Perfect Information ◽

Perfect Information Games ◽

Game Theoretic ◽

Theoretic Solution ◽

Information Games

Download Full-text

The category-theoretic solution of recursive metric-space equations

Theoretical Computer Science ◽

10.1016/j.tcs.2010.07.010 ◽

2010 ◽

Vol 411 (47) ◽

pp. 4102-4122 ◽

Author(s):

Lars Birkedal ◽

Kristian Støvring ◽

Jacob Thamsborg

Keyword(s):

Metric Space ◽

Theoretic Solution

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