Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
Klop, J. W.
Rewriting systems (Computer science)
Lambda calculus.
Processes, Infinite.
Festschriften.
Tags: Add Tag
No Tags, Be the first to tag this record!

GTLSC

Holdings details from GTLSC
Call Number: QA267 .P76x 2005
Copy 0 AVAILABLE
Notes:
  • json {"id":"23145995110002947","status":{"code":"AVAILABLE"},"location":{"code":"GTLSC","name":"GTLSC"},"barcode":"50671012966898","callNumber":"QA267 .P76x 2005","sourceHostLmsCode":"GEORGIA_INSTITUTE_OF_TECH_ALMA","owningContext":"GEORGIA_INSTITUTE_OF_TECH_ALMA","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-08-16T00:37:05.921768386Z","localItemType":"BOOK","canonicalItemType":"CIRC","localItemTypeCode":"BOOK","statusCorrectAsOf":"2026-08-16T00:37:07.505719443Z"}