Showing 1 - 1 results of 1 for search 'International Conference on Rewriting Techniques and Applications New Brunswick, New Jersey, USA', query time: 0.01s
Refine Results
-
1
Rewriting techniques and applications /
Published 1996“…International Conference on Rewriting Techniques and Applications New Brunswick, New Jersey, USA…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Algebraic manipulation
Automatic programming
Deducción y prueba de teoremas
Deduction and theorem proving
Formal languages
Lenguajes de programación
Lenguajes formales
Lógica matemática
Manipulación algebraica
Mathematical logic
Programación automática
Programming languages
Semantics of programming languages
Semántica de lenguajes de programación