[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || Positive/Negative conditional rewriting
Chytil, Michal P.; Koubek, Václav; Janiga, Ladislav
- 作者Chytil, Michal P.; Koubek, Václav; Janiga, Ladislav
- 文件大小898.79KB
- 发表时间1988
- DOI10.1007/bfb0017161
- 页码381-395