Reflection in Rewriting Logic
Subtitle: Metalogical Foundations and Metaprogramming Applications
Publisher: Center for the Study of Language and Inf
Published: February 15, 2001
Language: eng
Format: Hardcover
Number of pages: 192
ISBN-13: 9781575862378
Subjects: Mathematical logic; Mathematical theory of computation; Programming - General; Computers - General Information; Computers; Computer Books: Languages; Rewriting systems (Computer sc; Logic Design; Computers / Programming / General; Computers / Programming Languages / General; Computer logic; Human information processing; Rewriting systems (Computer science)