All Linear-Time Congruences for Familiar Operators
Tutkimustuotos › › vertaisarvioitu
Yksityiskohdat
| Julkaisun otsikon käännös | All Linear-Time Congruences for Familiar Operators |
|---|---|
| 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 |