Search for persons
X
?
1
Conditional term rewriting systems
third international workshop, CTRS-92, Pont-à-Mousson, Fra...
Lecture notes in computer science ; 656
Copies:
Zentrale:Magazin 01.p.0591