Start Over
You searched for: author_facet Jones, Neil D.

Search Results

Cover image for Computability theory: an introduction

Computability theory: an introduction

Location Call # Status
Joyner - General Stacks QA248.5 .J66 ✔ Available
Cover image for ESOP '90

ESOP '90

Location Call # Status
Joyner - General Stacks QA76.6.E976 1990 ✔ Available
Cover image for CAAP '90

CAAP '90

Location Call # Status
Joyner - General Stacks QA166.2 .C65 1990 ✔ Available
Cover image for ESOP '90

ESOP '90

Location
Access Content Online
Cover image for The essence of computation

The essence of computation

  • 2002
  • Format: Electronic
Location
Access Content Online
Cover image for Logic, language, and computation

Logic, language, and computation

  • 1994
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76 .L56625 1994 ✔ Available
Cover image for Programs as data objects

Programs as data objects

  • 1986
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.751 .P76 1986 ✔ Available
Cover image for Partial evaluation and automatic program generation

Partial evaluation and automatic program generation

Location Call # Status
Joyner - General Stacks QA76.6 .J666 1993 ✔ Available
Cover image for Logic, language, and computation

Logic, language, and computation

  • 1994
  • Format: Electronic
Location
Access Content Online
Cover image for Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Location
Access Content Online