Conditional term rewriting systems
Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992 : proceedings
International Workshop CTRS 1992 : Pont-a-Mousson, France)
creator
Remy, J. L.
Rusinowitch, Michael
text
conference publication
gw
Berlin
Springer-Verlag
1993
monographic
eng
501 p.
M. Rusinowitch and J. L. Remy (eds.)
Rewriting systems (Computer science)
Congresses
QA267 I578 1992
Lecture notes in computer science ; no. 656
3540563938
110414
20260818084751.0