International Workshop on Higher-Order Algebra Logic and Term Rewriting

International Workshop on Higher-Order Algebra Logic and Term Rewriting book subjects

• Methematical Logic
• Computer Programming Languages
• Computers > Compilers
• logic
• higher-order algebra
• computer science logic

Browse All Subjects