Tampere University of Technology

TUTCRIS Research Portal

All Linear-Time Congruences for Familiar Operators

Research output: Contribution to journalArticleScientificpeer-review

Details

Original languageEnglish
Article number11
Pages (from-to)1-34
Number of pages34
JournalLogical Methods in Computer Science
Volume9
Issue number4
DOIs
Publication statusPublished - 2013
Publication typeA1 Journal article-refereed

Publication forum classification

Field of science, Statistics Finland