TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

All Linear-Time Congruences for Familiar Operators

Tutkimustuotosvertaisarvioitu

Standard

All Linear-Time Congruences for Familiar Operators. / Valmari, Antti.

julkaisussa: Logical Methods in Computer Science, Vuosikerta 9, Nro 4, 11, 2013, s. 1-34.

Tutkimustuotosvertaisarvioitu

Harvard

Valmari, A 2013, 'All Linear-Time Congruences for Familiar Operators', Logical Methods in Computer Science, Vuosikerta. 9, Nro 4, 11, Sivut 1-34. https://doi.org/10.2168/LMCS-9(4:11)2013

APA

Valmari, A. (2013). All Linear-Time Congruences for Familiar Operators. Logical Methods in Computer Science, 9(4), 1-34. [11]. https://doi.org/10.2168/LMCS-9(4:11)2013

Vancouver

Valmari A. All Linear-Time Congruences for Familiar Operators. Logical Methods in Computer Science. 2013;9(4):1-34. 11. https://doi.org/10.2168/LMCS-9(4:11)2013

Author

Valmari, Antti. / All Linear-Time Congruences for Familiar Operators. Julkaisussa: Logical Methods in Computer Science. 2013 ; Vuosikerta 9, Nro 4. Sivut 1-34.

Bibtex - Lataa

@article{e1c74b02474b4644ad4b46163f5e5b22,
title = "All Linear-Time Congruences for Familiar Operators",
author = "Antti Valmari",
note = "Contribution: organisation=mat,FACT1=1<br/>Portfolio EDEND: 2013-11-29<br/>Publisher name: International Federation for Computational Logic",
year = "2013",
doi = "10.2168/LMCS-9(4:11)2013",
language = "English",
volume = "9",
pages = "1--34",
journal = "Logical Methods in Computer Science",
issn = "1860-5974",
publisher = "IfCoLog",
number = "4",

}

RIS (suitable for import to EndNote) - Lataa

TY - JOUR

T1 - All Linear-Time Congruences for Familiar Operators

AU - Valmari, Antti

N1 - Contribution: organisation=mat,FACT1=1<br/>Portfolio EDEND: 2013-11-29<br/>Publisher name: International Federation for Computational Logic

PY - 2013

Y1 - 2013

U2 - 10.2168/LMCS-9(4:11)2013

DO - 10.2168/LMCS-9(4:11)2013

M3 - Article

VL - 9

SP - 1

EP - 34

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

SN - 1860-5974

IS - 4

M1 - 11

ER -