1996
Congruence types
Publication
Publication
Presented at the
International Conference on Computer Science Logic, Paderborn, Germany
Additional Metadata | |
---|---|
, , | |
Springer | |
Lecture Notes in Computer Science | |
International Conference on Computer Science Logic | |
Barthe, G., & Geuvers, H. (1996). Congruence types. In Computer Science Logic 1995 (CSL 9) (pp. 36–51). Springer. |