default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 249
Volume 249, August 2016
- Markus L. Schmid:
Characterising REGEX languages by regular languages equipped with factor-referencing. 1-17 - Adam Woryna
:
The classification of abelian groups generated by time-varying automata and by Mealy automata over the binary alphabet. 18-27 - Paul C. Attie, Nancy A. Lynch:
Dynamic input/output automata: A formal and compositional model for dynamic systems. 28-75 - Pedro R. D'Argenio, Daniel Gebler, Matias David Lee:
A general SOS theory for the specification of probabilistic transition systems. 76-109 - Xin Han, Kazuo Iwama, Deshi Ye, Guochuan Zhang:
Approximate strip packing: Revisited. 110-120 - Miika Hannula, Juha Kontinen:
A finite axiomatization of conditional independence and inclusion dependencies. 121-137 - Lijun Zhang, David N. Jansen:
A space-efficient simulation algorithm on probabilistic automata. 138-159 - Lars Birkedal, Guilhem Jaber, Filip Sieczkowski, Jacob Thamsborg:
A Kripke logical relation for effect-based program transformations. 160-189 - József Békési, György Dósa, Leah Epstein:
Bounds for online bin packing with cardinality constraints. 190-204 - Francisco J. Galán, José Miguel Cañete Valdeón:
Synthesis of positive logic programs for checking a class of definitions with infinite quantification. 205-236
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-08 00:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
