VIAF

Virtual International Authority File

Search

HOA '95 BIBSYS

VIAF ID: 513149294109080520844 (Corporate)

Permalink: //viaf.org/viaf/513149294109080520844

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close SectionWorks

Title Sources
Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers BIBSYS

Open Section Close Section Selected Co-authors

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (1)

Open Section Close Section About

Open Section Close Section History of VIAF ID:513149294109080520844 (1)