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