Research Catalog

Reflection in rewriting logic : metalogical foundations and metaprogramming applications

Title
Reflection in rewriting logic : metalogical foundations and metaprogramming applications / Manuel Clavel.
Author
Clavel, Manuel, 1969-
Publication
Stanford, Calif. : CSLI Publications, c2000.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/textUse in library QA76.9.L63 C655 2000Off-site

Details

Description
xiv, 200 p. : ill.; 24 cm.
Subject
  • Computer logic
  • Rewriting systems (Computer science)
  • Human information processing
Bibliography (note)
  • Includes bibliographical references (p. 191-198) and index.
ISBN
  • 1575862379 (hbk. : alk. paper)
  • 1575862387 (pbk. : alk. paper)
LCCN
00060351
OCLC
  • ocm44914269
  • SCSB-1148551
Owning Institutions
Princeton University Library