TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

All Linear-Time Congruences for Familiar Operators

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

Julkaisun otsikon käännösAll Linear-Time Congruences for Familiar Operators
AlkuperäiskieliEnglanti
Artikkeli11
Sivut1-34
Sivumäärä34
JulkaisuLogical Methods in Computer Science
Vuosikerta9
Numero4
DOI - pysyväislinkit
TilaJulkaistu - 2013
OKM-julkaisutyyppiA1 Alkuperäisartikkeli

Julkaisufoorumi-taso