All Linear-Time Congruences for Familiar Operators
Tutkimustuotos › › vertaisarvioitu
Yksityiskohdat
Alkuperäiskieli | Englanti |
---|---|
Artikkeli | 11 |
Sivut | 1-34 |
Sivumäärä | 34 |
Julkaisu | Logical Methods in Computer Science |
Vuosikerta | 9 |
Numero | 4 |
DOI - pysyväislinkit | |
Tila | Julkaistu - 2013 |
OKM-julkaisutyyppi | A1 Alkuperäisartikkeli |