All Linear-Time Congruences for Finite LTSs and Familiar Operators

Publiceringsår

2012

Upphovspersoner

Valmari, Antti

Organisationer och upphovspersoner

Tammerfors universitet

Valmari Antti

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Artikelnummer

129918

Sidor

12-21

ISSN

1550-4808

ISBN

978-1-4673-1687-3

Publikationsforum

51455

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Ingen information

Parallellsparad

Okänd

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Publiceringsland

Förenta staterna (USA)

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag