Event Beta

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

Name: International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
Start: 1993-09-23
End: 1993-09-24
Location: Amsterdam

HOA

Date: 1993-09-23/24
Place: Amsterdam, Netherlands on the map
Series: International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
Edition: 1
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e103vpg

Proceedings

Title	DOI	Year	Record
Higher-Order Algebra, Logic, and Term Rewriting LNCS 816	10.1007/3-540-58233-9	1994	Springer
Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers Lecture Notes in Computer Science 816	10.1007/3-540-58233-9	1994	dblp

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)	`http://lod.springer.com/data/conference/hoa1993`
confref portal (2020)	`https://id.confref.org/data/confref-portal/event/hoa1993` · page
dblp	`https://dblp.org/db/conf/hoa/hoa93`
GND	`https://d-nb.info/gnd/2137378-4`

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting. confref identifier e103vpg. https://id.confref.org/event/e103vpg

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.