Event Beta

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

Name: International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
Start: 1995-09-21
End: 1995-09-22
Location: Paderborn

HOA

Date: 1995-09-21/22
Place: Paderborn, Germany on the map
Series: International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
Edition: 2
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e103vqe

Proceedings

Title	DOI	Year	Record
Higher-Order Algebra, Logic, and Term Rewriting LNCS 1074	10.1007/3-540-61254-8	1996	Springer
Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers Lecture Notes in Computer Science 1074	10.1007/3-540-61254-8	1996	dblp

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

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

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

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