Conditional and typed rewriting systems

Name: Conditional and typed rewriting systems
Author: 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

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 · 1995

Cover of Conditional and typed rewriting systems

No description available.

CongressesComputer programmingRewriting systems (Computer science)AlgorithmsMathematical theory of computationProgramming - GeneralRewriting systems (Computer scMathematicsComputers - Languages / ProgrammingScience/MathematicsLogicProgramming Languages - General