Characterising REGEX languages by regular languages equipped with factor-referencing (English)
- New search for: Schmid, Markus L.
- New search for: Schmid, Markus L.
In:
Information and Computation
;
249
;
1-17
;
2016
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:Characterising REGEX languages by regular languages equipped with factor-referencing
-
Contributors:Schmid, Markus L. ( author )
-
Published in:Information and Computation ; 249 ; 1-17
-
Publisher:
- New search for: Elsevier Inc.
-
Publication date:2016-01-07
-
Size:17 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 249
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.
- 1
-
Characterising REGEX languages by regular languages equipped with factor-referencingSchmid, Markus L. et al. | 2016
- 18
-
The classification of abelian groups generated by time-varying automata and by Mealy automata over the binary alphabetWoryna, Adam et al. | 2015
- 28
-
Dynamic input/output automata: A formal and compositional model for dynamic systemsAttie, Paul C. / Lynch, Nancy A. et al. | 2016
- 76
-
A general SOS theory for the specification of probabilistic transition systemsD'Argenio, Pedro R. / Gebler, Daniel / Lee, Matias David et al. | 2015
- 110
-
Approximate strip packing: RevisitedHan, Xin / Iwama, Kazuo / Ye, Deshi / Zhang, Guochuan et al. | 2013
- 121
-
A finite axiomatization of conditional independence and inclusion dependenciesHannula, Miika / Kontinen, Juha et al. | 2015
- 138
-
A space-efficient simulation algorithm on probabilistic automataZhang, Lijun / Jansen, David N. et al. | 2015
- 160
-
A Kripke logical relation for effect-based program transformationsBirkedal, Lars / Jaber, Guilhem / Sieczkowski, Filip / Thamsborg, Jacob et al. | 2014
- 190
-
Bounds for online bin packing with cardinality constraintsBékési, József / Dósa, György / Epstein, Leah et al. | 2016
- 205
-
Synthesis of positive logic programs for checking a class of definitions with infinite quantificationGalán, Francisco J. / Cañete-Valdeón, José M. et al. | 2013
- i
-
Editorial Board| 2016