close
1.

図書
図書
1. The mathematical theory of L systems
Grzegorz Rozenberg, Arto Salomaa
出版情報: New York : Academic Press, 1980  xvi, 352 p. ; 24 cm
シリーズ名: Pure and applied mathematics ; 90
所蔵情報: loading…
2.

図書
図書
2. L systems (: gw ; : us)
edited by Grzegorz Rozenberg and Arto Salomaa
出版情報: Berlin ; New York : Springer-Verlag, 1974  vi, 338 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 15
所蔵情報: loading…
3.

図書
図書
3. Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (eds.)
出版情報: Berlin : Springer, c1997  x, 370 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1261
所蔵情報: loading…
4.

図書
図書
4. Word, language, grammar
G. Rozenberg, A. Salomaa, (eds.)
出版情報: Berlin : Springer, c1997  xxiv, 873 p. ; 25 cm
シリーズ名: Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 1
所蔵情報: loading…
5.

図書
図書
5. Handbook of formal languages (: set)
G. Rozenberg, A. Salomaa, (eds.)
出版情報: Berlin : Springer, c1997  3 vols ; 25 cm
所蔵情報: loading…
6.

図書
図書
6. Linear modeling : background and application (: pbk)
G. Rozenberg, A. Salomaa, (eds.)
出版情報: Berlin : Springer, c1997  xxii, 528 p. ; 25 cm
シリーズ名: Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 2
所蔵情報: loading…
7.

図書
図書
7. Beyond words (: [pbk])
G. Rozenberg, A. Salomaa, (eds.)
出版情報: Berlin : Springer, c1997  xx, 625 p. ; 25 cm
シリーズ名: Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 3
所蔵情報: loading…
8.

図書
図書
8. Developments in language theory II : at the crossroads of mathematics, computer science and biology : Magdeburg, Germany 17-21 July 1995
editors, Jürgen Dassow, Grzegorz Rozenberg, Arto Salomaa
出版情報: Singapore : World Scientific, c1996  x, 491 p. ; 23 cm
所蔵情報: loading…
9.

図書
図書
9. Multiset Processing : mathematical, computer science, and molecular computing points of view
Cristian S. Calude ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001  viii, 358 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2235
所蔵情報: loading…
10.

図書
図書
10. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
Wilfried Brauer ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xxxvi, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2300
所蔵情報: loading…
目次情報: 続きを見る
Bibliography of Grzegorz Rozenberg
Words, Languages, Automata / I：
Balanced Grammars and Their Languages / Jean Berstel ; Luc Boasson
Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids / Volker Diekert ; Paul Gastin
The Delta Operation: From Strings to Trees to Strings / Joost Engelfriet
Infinite Solutions of Marked Post Correspondence Problem / Vesa Halava ; Tero Harju
The Branching Point Approach to ConwayÆs Problem / Juhani Karhumaki ; Ion Petre
A Survey of Some Quantitative Approaches to the Notion of Information / Aldo de Luca
Nondeterministic Trajectories / Alexandru Mateescu ; Arto Salomaa
Binary Patterns in Infinite Binary Words / Antonio Restivo ; Sergio Salemi
Graph Transformations / II：
A Sight-seeing Tour of the Computational Landscape of Graph Transformation / Hans-Jörg Kreowski
Local Action Systems and DPO Graph Transformation / DirkJanssens
Bisimulation Equivalences for Graph Grammars / Paolo Baldan ; Andrea Corradini ; Ugo Montanari
Petri Nets / III：
High-Level Net Processes / Hartmut Ehrig ; Kathrin Hoffmann ; Julia Padberg ; Reiko Heckel
Petri Net Control for Grammar Systems / Maurice ter Beek ; Jetty Kleijn
Regular Event Structures and Finite Petri Nets: A Conjecture / P.S. Thiagarajan
Concurrent Computing / IV：
Towards Team-Automata-Driven Object-Oriented Collaborative Work / Gregor Engels ; LuukGroenewegen
Grammars as Processes / Javier Esparza
Temporal Concurrent Constraint Programming: Applications and Behavior / Mogens Nielsen ; FrankD. Valencia
Molecular Computing / V：
Rewriting P Systems with Conditional Communication / Paolo Bottoni ; Anna Labella ; Carlos Martín-Vide ; Gheorghe Paun
An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relation / Tom Head
Upper Bounds for Restricted Splicing / HendrikJan Hoogeboom ; Nikè van Vugt
Codes, Involutions, and DNA Encodings / Lila Kari ; Rob Kitto ; Gabriel Thierrin
DNA Manipulations in Ciliates / David M. Prescott
A Magic Pot Self-assembly Computation Revisited / Takashi Yokomori ; Yasubumi Sakakibara ; Satoshi Kobayashi
Author Index
Bibliography of Grzegorz Rozenberg
Words, Languages, Automata / I：
Balanced Grammars and Their Languages / Jean Berstel ; Luc Boasson
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼