Conditional and typed rewriting systems
by International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem), Languages, and Programming (21st : 1994 : Jerusalem) International Colloquium on Automata, Naomi Lindenstrauss, Nachum Dershowitz
CongressesComputer programmingRewriting systems (Computer science)AlgorithmsMathematical theory of computationProgramming - GeneralRewriting systems (Computer scMathematics
Writing a summary for young readers…
For young readers
Book data: Open Library