Back to Results
First PageMeta Content
Mathematical logic / Theory of computation / Models of computation / Formal methods / Lambda calculus / Computable function / Determinacy / Numbering / Function / Computability theory / Mathematics / Theoretical computer science


Theoretical Computer Science – 366 www.elsevier.com/locate/tcs Adapting innocent game models for the B#ohm tree -theory Andrew D. Ker, Hanno Nickau∗ , C.-H. Luke Ong
Add to Reading List

Document Date: 2006-08-03 11:40:10

Open Document

File Size: 758,87 KB

Share Result on Facebook

City

Madrid / Oxford / /

Company

Elsevier B.V. / /

/

Facility

arena U / C.-H. Luke Ong Oxford University Computing Laboratory / The arena U / arena A / /

Organization

European Association for Computer Science Logic / C.-H. Luke Ong Oxford University Computing Laboratory / /

Person

Andrew D. Ker / /

Position

mp / Corresponding author / 8rst-named author / /

PublishedMedium

Theoretical Computer Science / /

Technology

dom / /

URL

www.elsevier.com/locate/tcs / /

SocialTag