<--- Back to Details
First PageDocument Content
Theory of computation / Theoretical computer science / Functions and mappings / Function / Computable function / Equivalence relation / Recursion / Primitive recursive function / Μ operator / Mathematics / Computability theory / Mathematical logic
Date: 2015-05-07 04:10:57
Theory of computation
Theoretical computer science
Functions and mappings
Function
Computable function
Equivalence relation
Recursion
Primitive recursive function
Μ operator
Mathematics
Computability theory
Mathematical logic

MUTUAL COOPERATION AND UNILATERAL ALTRUISM IN A ONE-SHOT PRISONER’S DILEMMA - A COMPUTABILITY APPROACH MIKIO NAKAYAMA Abstract. We consider the one-shot Prisoner’s Dilemma played by programs or machines, and show tha

Add to Reading List

Source URL: ies.keio.ac.jp

Download Document from Source Website

File Size: 55,84 KB

Share Document on Facebook

Similar Documents

Speaker: Jason Rute Title: Randomness, Brownian Motion, Riesz Capacity, and Complexity Abstract: Algorithmic randomness is a topic in computability theory which investigates which paths in a stochastic process behave ran

Speaker: Jason Rute Title: Randomness, Brownian Motion, Riesz Capacity, and Complexity Abstract: Algorithmic randomness is a topic in computability theory which investigates which paths in a stochastic process behave ran

DocID: 1sWjT - View Document

In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden  Abstract

In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract

DocID: 1rsvH - View Document

Curriculum and Course Syllabi for a High-School Program in Computer Science1 Judith Gal-Ezer2 David Harel3

Curriculum and Course Syllabi for a High-School Program in Computer Science1 Judith Gal-Ezer2 David Harel3

DocID: 1rozw - View Document

A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi

A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi

DocID: 1rjEK - View Document

Steve Warner Curriculum Vitae Department of Mathematics Hofstra University Hempstead, NY 11549

Steve Warner Curriculum Vitae Department of Mathematics Hofstra University Hempstead, NY 11549

DocID: 1rjw8 - View Document