International workshop on higher-order algebra, logic and term rewriting
VIAF ID: 152598499 ( Corporate )
Permalink: http://viaf.org/viaf/152598499
Preferred Forms
- 111 2 _ ‡a International Workshop on Higher-Order Algebra, Logic and Term Rewriting
- 110 2 _ ‡a International Workshop on Higher-Order Algebra, Logic and Term Rewriting
- 111 2 _ ‡a International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
- 110 2 _ ‡a International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
-
- 111 2 _ ‡a International workshop on higher-order algebra, logic and term rewriting
- 210 | | ‡a International workshop on higher-order algebra, logic and term rewriting
4xx's: Alternate Name Forms (8)
Works
Title | Sources |
---|---|
Higher-order algebra, logic, and term rewriting, c1994: |