Term rewriting
by French Spring School of Theoretical Computer Science (1993 Font-Romeu, France), Hubert Comon, Jean-Pierre Jouannaud · 1995
No description available.
CongressesRewriting systems (Computer science)Computer scienceMathematical Logic and Formal LanguagesComputer ScienceComputer ProgrammingMathematicsComputers - Languages / ProgrammingScience/MathematicsLogicProgramming - General