Algorithms and Decision Problems: a crash course in Recursion theory

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Handbook of Philosophical logic
Editors	D.M. Gabbay, F. Günthner
Place of Publication	Dordrecht
Publisher	Kluwer
Pages	245-313
Number of pages	69
Publication status	Published - 2001

Name
Number	1

Keywords

@inbook{0f15845b901d4386a94d3023d6aa8d81,

title = "Algorithms and Decision Problems: a crash course in Recursion theory",

keywords = "Wiskunde en Informatica (WIIN), Other mathematical specialities, Wiskunde en computerwetenschappen, Wiskunde: algemeen",

author = "{van Dalen}, D.",

year = "2001",

language = "Undefined/Unknown",

publisher = "Kluwer",

number = "1",

pages = "245--313",

editor = "D.M. Gabbay and F. G{\"u}nthner",

booktitle = "Handbook of Philosophical logic",

}

TY - CHAP

T1 - Algorithms and Decision Problems: a crash course in Recursion theory

AU - van Dalen, D.

PY - 2001

Y1 - 2001

KW - Wiskunde en Informatica (WIIN)

KW - Other mathematical specialities

KW - Wiskunde en computerwetenschappen

KW - Wiskunde: algemeen

M3 - Chapter

SP - 245

EP - 313

BT - Handbook of Philosophical logic

A2 - Gabbay, D.M.

A2 - Günthner, F.

PB - Kluwer

CY - Dordrecht

ER -