Conference series Beta
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
HOA
- Events
- 4 (1993 to 1997)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/series/s109sq4
Events (4)
19931997
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 1997 | Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997, Proceedings ALP | Southampton | 1997-01-01 | |
| 1995 | 2 | International Workshop on Higher-Order Algebra, Logic, and Term Rewriting HOA | Paderborn | 1995-09-21/22 |
| 1993 | 1 | International Workshop on Higher-Order Algebra, Logic, and Term Rewriting HOA | Amsterdam | 1993-09-23/24 |
| Higher-Order Algebra, Logic and Term Rewriting (HOA) HOA | Southampton |
The events on the map · in the search · calendar of coming events
Ratings
As the rating systems gave them at the date shown; a rating dataset keeps them as its source published them.
| System | Value | Date | Dataset |
|---|---|---|---|
| GII-GRIN-SCIE | W | 2017-04-06 | ratings-springer-lod |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| Springer LOD (2018) |
|
|---|---|
| confref portal (2020) | |
| Wikidata | |
| dblp | |
| GND |
Cite
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting. confref identifier s109sq4. https://id.confref.org/series/s109sq4
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.