Publication:3823139

From MaRDI portal

Jump to:navigation, search

zbMath0669.68030MaRDI QIDQ3823139

Publication date: 1988

zbMATH Keywords

program transformation; term rewriting systems; completion algorithm

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

03B70: Logic in computer science

68N01: General topics in the theory of software

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3823139&oldid=17407254"