
Details
- First published
- 1995
- OL Work ID
- OL2915782W
Subjects
CongressesRewriting systems (Computer science)Computer scienceMathematical Logic and Formal LanguagesComputer ScienceComputer ProgrammingMathematicsComputers - Languages / ProgrammingScience/MathematicsLogicProgramming - General