International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (workshop)

User Publication Person Organisation Collection