Pages that link to "Item:Q1331628"
From MaRDI portal
The following pages link to Higher-order algebra, logic, and term rewriting. 1st International Workshop, HOA '93, Amsterdam, the Netherlands, September 23-24, 1993. Selected papers (Q1331628):
Displaying 2 items.