"Higher-Order Algebra, Logic, and Term Rewriting"
(Deleted)
|
Springer Nature - Springer Lecture Notes in Computer Science eBooks
|
eisbn |
Higher-Order Algebra, Logic, and Term Rewriting
(Current)
|
Springer Nature - Springer Book Archive - Springer Computer Science
|
eisbn |
Higher-Order Algebra, Logic, and Term Rewriting
(Current)
|
Springer Nature - Springer Book Archive - Springer Computer Science 1990-1999
|
eisbn |
Higher-Order Algebra, Logic, and Term Rewriting
(Current)
|
Springer Nature - Springer Lecture Notes in Computer Science eBooks
|
eisbn |