Algebras for iteration and infinite computations (English)
- New search for: Guttmann, Walter
- New search for: Guttmann, Walter
In:
Acta Informatica
;
49
, 5
; 343-359
;
2012
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:Algebras for iteration and infinite computations
-
Contributors:Guttmann, Walter ( author )
-
Published in:Acta Informatica ; 49, 5 ; 343-359
-
Publisher:
- New search for: Springer-Verlag
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2012
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: 83.00 / 31.00 / 54.00 / 85.00
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 49, Issue 5
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 281
-
Prefix-primitive annihilators of languages under some operationsFan, Chen-Ming / Huang, Cheng-Chih / Tseng, Christine Chifen / Wang, Jen-Tse et al. | 2012
- 295
-
An algorithmic study of switch graphsKatz, Bastian / Rutter, Ignaz / Woeginger, Gerhard et al. | 2012
- 313
-
Abstract reduction in directed model checking CCS processesSantone, Antonella / Vaglini, Gigliola et al. | 2012
- 343
-
Algebras for iteration and infinite computationsGuttmann, Walter et al. | 2012