학술논문
Transforming orthogonal inductive definition sets into confluent term rewrite systems
Document Type
Article
Author
Source
In Journal of Logical and Algebraic Methods in Programming June 2022 127
Subject
Language
ISSN
2352-2208