Matches in VIAF for { <http://viaf.org/viaf/149760486> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- 149760486 alternateName "HOA '95 (2 ; 1995 ; Paderborn)".
- 149760486 alternateName "HOA 2 1995 Paderborn".
- 149760486 alternateName "International Workshop HOA".
- 149760486 alternateName "International Workshop on Higher Order Algebra, Logic, and Term Rewriting".
- 149760486 alternateName "International Workshop on Higher-Order Algebra, Logic, and Term Rewriting".
- 149760486 name "HOA '95".
- 149760486 name "HOA".
- 149760486 sameAs 2155182-0.
- 149760486 type Organization.
- 149760486 seeAlso skos:Concept.