Conditional and typed rewriting systems

Conditional and typed rewriting systems1995

International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem), Languages, and Programming (21st : 1994 : Jerusalem) International Colloquium on Automata, Nachum Dershowitz, Naomi Lindenstrauss

Details

First published: 1995
OL Work ID: OL2961926W

Subjects

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

Find this book

Open Library