Two decidability results for deterministic pushdown automata

Hyväksytty

Luokittelutiedot

OKM-julkaisutyyppi
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä (vertaisarvioitu)
Laji
A. Vertaisarvioidut tieteelliset artikkelit
Referoitu
Kyllä
Alalaji
A1. Alkuperäisartikkeli
Tyyppi
1

Julkaisun tekijät

Tekijöiden lukumäärä
1
Tekijät
Linna, Matti
Paikalliset tekijät

Julkaisukanavan tiedot

Lehden/sarjan nimi
Journal of computer and system sciences
ISSN-P (painettu)
0022-0000
ISSN-E (elektroninen)
1090-2724
ISSN-L (linking)
0022-0000
Julkaisun JUFO ID
60002
Julkaisun JUFO-taso
Ei saatavissa
Kansainvälisyys
Kyllä

Julkaisun tarkemmat tiedot

Julkaisuvuosi
1979
Ilmoitusvuosi
1979
Lehden/sarjan volyymi
18
Sivunumerot
92-107
Julkaisukieli
englanti

Yhteisjulkaisutiedot

Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei