Normal view
MARC view
Rewriting systems (Computer science) (Topical Term)
Machine generated authority record
Work cat.: (BDCtgAUW)3513: Davis Martin D. 20938, Computability, complexity, and languages