top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
High-level Petri nets : theory and application / K. Jensen, G. Rozenberg (eds.).
High-level Petri nets : theory and application / K. Jensen, G. Rozenberg (eds.).
Estensione ix, 724 p. : ill. ; 24 cm.
Disciplina 511.3
Accesso persona Rozenberg, Grzegorz
Jensen, K. (Kurt), 1950-
ISBN 038754125X (N.Y.)
354054125X (Berlin)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-002096998
Materiale a stampa
Lo trovi qui: New York University
Handbook of formal languages. Volume 3. Beyond words / G. Rozenberg, A. Salomaa (eds.).
Handbook of formal languages. Volume 3. Beyond words / G. Rozenberg, A. Salomaa (eds.).
Estensione 1 online resource (xx, 625 pages) : illustrations
Disciplina 005.131
Accesso persona Rozenberg, Grzegorz
Salomaa, Arto
Genere/Forma Electronic books
ISBN 9783642591266
3642591264
9783642638596
3642638597
3540606491
9783540606499
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Of Volume 3 -- 1. Tree Languages -- 1. Introduction -- 2. Trees and terms -- 3. Algebraic preliminaries -- 4. Term rewriting systems -- 5. Finite tree recognizers -- 6. Regular tree grammars -- 7. Tree language operations and closure properties of Rec -- 8. Local tree languages -- 9. A Kleene theorem for tree languages -- 10. Regular tree systems -- 11. Algebraic characterizations of recognizability -- 12. Monadic second-order logic and regular tree languages -- 13. Families of special regular tree languages -- 14. The yield-function and context-free languages -- 15. Context-free tree grammars and pushdown tree recognizers -- 16. Tree transformations and tree transducers -- 17. Composition and decomposition of tree transformations -- 18. Tree transducers with regular look-ahead -- 19. Generalized syntax directed translations -- 20. Surface tree languages -- 21. The hierarchies of surface tree languages and transformational languages -- 22. Some further topics -- References -- 2. Tree-Adjoining Grammars -- 1. Introduction -- 2. Tree-adjoining grammars -- 3. Lexicalized grammars -- 4. 'Lexicalization' of CFGs -- 5. Closure of TAGs under lexicalization -- 6. Summary of lexicalization -- 7. Embedded push-down automaton (EPDA) -- 8. Linguistic relevance -- 9. Some variants of TAGs -- 10. Parsing lexicalized tree-adjoining grammars (LTAG) -- 11 Summary -- References -- 3. Context-Free Graph Grammars -- 1. Introduction -- 2. Node and edge replacement -- 3. Hyperedge replacement grammars -- 4. Node replacement grammars -- 5. Monadic second order logic -- 6. Graph grammars generating strings and trees -- 7. Tree grammars generating graphs -- References -- 4. Two-Dimensional Languages -- 1. Introduction -- 2. Preliminaries -- 3. Regular expressions -- 4. Automata -- 5. Grammars -- 6. Logic formulas -- 7. Tiling systems -- 8. Equivalence theorems -- 9. Properties of recognizable languages -- 10. Recognizable functions -- 11. Beyond finite state recognizability -- References -- 5. Basics of Term Rewriting -- 1. Introduction -- 2. Terms -- 3. Church -- Rosser properties -- 4. Orderings -- 5. Completion -- 6. Rewriting modulo a relation -- 7. Sundries -- References and further reading -- 6.?-Languages -- 1. Introduction -- 2. Topology for languages and?-languages -- 3. The Chomsky hierarchy of?-languages -- 4. Languages and?-languages -- 5. Wagner's hierarchy -- References -- 7. Languages, Automata, and Logic -- 1. Introduction -- 2. Models and formulas -- 3. Automata and MSO-logic on finite words and trees -- 4. First-order definability -- 5. Automata and MSO-logic on infinite words -- 6. Automata and MSO-logic on infinite trees -- References -- 8. Partial Commutation and Traces -- 1. Introduction -- 2. Free partially commutative monoids -- 3. Combinatorial properties -- 4. Recognizable trace languages -- 5. Rational trace languages -- 6. Dependence graphs and logic -- 7. Asynchronous automata -- 8. Infinite traces -- References -- 9. Visual Models of Plant Development -- 1. Introduction -- 2. Developmental models of plant architecture -- 3. Formal description of branching structures -- 4. Fundamentals of modeling using L-systems -- 5. Random factors in development -- 6. Life, death, and reproduction -- 7. Development controlled by endogenous mechanisms -- 8. Development controlled by exogenous mechanisms -- 9. Conclusions -- 10. Acknowledgements -- References -- 10. Digital Images and Formal Languages -- 1. Introduction -- 2. Black and white images and finite automata -- 3. Grayscale images and WFA -- 4. Weighted finite transducers -- 5. Examples of WFT -- References.
Record Nr. NYU-004632825
Materiale a stampa
Lo trovi qui: New York University
DNA computing : new computing paradigms / G. Păun, G. Rozenberg, A. Salomaa
DNA computing : new computing paradigms / G. Păun, G. Rozenberg, A. Salomaa
Creatore [Păun, Gheorghe, 1950-]
Estensione 1 online resource (ix, 402 pages) : illustrations.
Disciplina 004.0151
Accesso persona Rozenberg, Grzegorz
Salomaa, Arto
Genere/Forma Electronic books
ISBN 9783662035634
3662035634
9783642083884
3642083889
3540641963
9783540641964
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part I. Background and Motivation: DNA: The power of complementarity -- Beginnings of molecular computing -- Part II. Mathematical Theory: Introduction to language theory -- Sticker systems -- Watson-Crick automata -- Insertion-deletion systems -- Universality by finite H systems -- Splicing circular strings -- Distributed H systems -- Splicing revisited.
Record Nr. NYU-004647008
[Păun, Gheorghe, 1950-]  
Materiale a stampa
Lo trovi qui: New York University
Current trends in concurrency : overviews and tutorials / edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg
Current trends in concurrency : overviews and tutorials / edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg
Estensione 1 online resource (xii, 716 pages) : illustrations.
Disciplina 004/.35
Accesso persona Bakker, J. W. de (Jacobus Willem), 1939-
Roever, W.-P. de, 1943-
Rozenberg, Grzegorz
Accesso ente Dutch Concurrency Project
European Strategic Programme of Research and Development in Information Technology.Project 415.
Accesso convegno ESPRIT/LPC Advanced School on Current Trends in Concurrency (1985 : Noordwijkerhout, Netherlands)
ISBN 9783540398271
3540398279
038716488X
9780387164885
Classificazione 54.51
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-7972941
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Rainbow of computer science : dedicated to Hermann Maurer on the occasion of his 70th birthday / Cristian S. Calude, Grzegorz Rozenberg, Arto Salomaa (eds.).
Rainbow of computer science : dedicated to Hermann Maurer on the occasion of his 70th birthday / Cristian S. Calude, Grzegorz Rozenberg, Arto Salomaa (eds.).
Estensione 1 online resource (xii, 283 pages) : illustrations.
Accesso persona Calude, Cristian, 1952-
Rozenberg, Grzegorz
Salomaa, Arto
Soggetto-Autore Maurer, Hermann A., 1941-
Genere/Forma Electronic books
ISBN 9783642193910
3642193919
9783642193903
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Algorithmics -- Improved Approximations for Hard Optimization Problems via Problem Instance Classification -- Covering and Packing with Spheres by Diagonal Distortion in Rn -- Counting Plane Graphs with Exponential Speed-Up -- Formal Languages and Automata -- Ancient Typefaces and Parametric Weighted Finite Automata -- On Language Decompositions and Primality -- Ancient Typefaces and Parametric Weighted Finite Automata -- On Language Decompositions and Primality -- A Unifying Kleene Theorem for Weighted Finite Automata -- Local Squares, Periodicity and Finite Automata -- P and dP Automata: A Survey -- On the General Coloring Problem -- Learning -- Transdisciplinary Collaboration and Lifelong Learning: Fostering and Supporting New Learning Opportunities -- Towards an Open Learning Infrastructure for Open Educational Resources: Abundance as a Platform for Innovation -- Why E-Learning as It Stands Is Not Enough -- The Practice of Informatics -- Domains: Their Simulation, Monitoring and Control{u2014}A Divertimento of Ideas and Suggestions -- Roots and Stimuli to a New Perception of Informatics -- Towards a New Shape Description Paradigm Using the Generative Modeling Language -- Name Resolution by Rewriting in Dynamic Networks of Mobile Entities -- Maintaining the Personal Style and Flair of Handwriting in Presentation Recordings -- TGV-Fusion -- Secure and Privacy-Preserving eGovernment{u2014}Best Practice Austria -- The Quest for Uncertainty.
Record Nr. UCHICAGO-11075577
Materiale a stampa
Lo trovi qui: University of Chicago
DNA computing : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, the Netherlands, June 13-17, 2000 : revised papers / Anne Condon, Grzegorz Rozenberg (eds.).
DNA computing : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, the Netherlands, June 13-17, 2000 : revised papers / Anne Condon, Grzegorz Rozenberg (eds.).
Creatore [International Workshop on DNA-Based Computers (6th : 2000 : University of Leiden)]
Estensione 1 online resource (x, 270 pages) : illustrations.
Accesso persona Condon, Anne
Rozenberg, Grzegorz
Genere/Forma Online resources
Electronic books
Conference papers and proceedings
ISBN 9783540449928
3540449922
3540420762
9783540420767
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Engineered communications for microbial robotics -- Successive state transitions with I/O interface by molecules -- Solution of a satisfiability problem on a gel-based DNA computer -- Diophantine equations and splicing: A new demonstration of the generative capability of H systems -- About time-varying distributed H systems -- String tile models for DNA computing by self-assembly -- From molecular computing to molecular programming -- Graph replacement chemistry for DNA processing -- DNA and circular splicing? -- Molecular computing with generalized homogeneous P-systems -- Computationally inspired biotechnologies: Improved DNA synthesis and associative search using Error-Correcting Codes and Vector-Quantization? -- Challenges and applications for self-assembled DNA nanostructures? -- A space-efficient randomized DNA algorithm for k-SAT -- A DNA-based random walk method for solving k-SAT -- Solving computational learning problems of Boolean formulae on DNA computers -- The fidelity of annealing-ligation: A theoretical analysis -- DNA implementation of a Royal Road fitness evaluation -- Steady flow micro-reactor module for pipelined DNA computations.
Record Nr. UCHICAGO-11067023
[International Workshop on DNA-Based Computers (6th : 2000 : University of Leiden)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 / J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 / J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
Estensione 1 online resource (viii, 713 pages) : illustrations.
Accesso persona Bakker, J. W. de (Jacobus Willem), 1939-
Roever, W.-P. de, 1943-
Rozenberg, Grzegorz
Accesso convegno School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout, Netherlands)
Soggetto-Autore Bakker, J. W. de (Jacobus Willem), 1939-
Roever, W.-P. de, 1943-
Rozenberg, Grzegorz
Genere/Forma Electronic books
ISBN 9783540461470
3540461477
354051080X
9783540510802
038751080X
9780387510804
Classificazione 54.32
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11073804
Materiale a stampa
Lo trovi qui: University of Chicago
Developments in language theory : 5th international conference, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers / Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (eds.).
Developments in language theory : 5th international conference, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers / Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (eds.).
Creatore [Conference on Developments in Language Theory (5th : 2001 : Vienna, Austria)]
Estensione ix, 388 p. : ill. ; 24 cm.
Disciplina 511.3
Accesso persona Kuich, Werner, 1941-
Rozenberg, Grzegorz
Salomaa, Arto
ISBN 3540434534 (softcover : acid-free paper)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automata: From Uncertainty to Quantum / C. S. Calude and E. Calude -- Elementary Theory of Ordinals with Addition and Left Translation by [omega] / C. Choffrut -- The Equational Theory of Fixed Points with Applications to Generalized Language Theory / Z. Esik -- Second-Order Logic over Strings: Regular and Non-regular Fragments / T. Eiter, G. Gottlob and T. Schwentick -- Decision Questions on Integer Matrices / T. Harju -- Some Petri Net Languages and Codes / M. Ito and Y. Kunimoch -- Words, Permutations, and Representations of Numbers / H. Prodinger -- Proof Complexity of Pigeonhole Principles / A. A. Razborov -- Words and Patterns / A. Restivo and S. Salemi -- A Short Introduction to Infinite Automata / W. Thomas -- The Power of One-Letter Rational Languages / T. Cachat -- The Entropy of Lukasiewicz-Languages / L. Staiger -- Collapsing Words vs. Synchronizing Words / D. S. Ananichev and M. V. Volkov -- A Note on Synchronized Automata and Road Coloring Problem / K. Culik, J. Karhumaki and J. Kari -- Shuffle Quotient and Decompositions / C. Campeanu, K. Salomaa and S. Vagvolgyi -- The Growing Context-Sensitive Languages Are the Acyclic Context-Sensitive Languages / G. Niemann and J. R. Woinowski -- Recognizable Sets of N-Free Pomsets Are Monadically Axiomatizable / D. Kuske -- Automata on Series-Parallel Biposets / Z. Esik and Z. L. Nemeth -- Hierarchies of String Languages Generated by Deterministic Tree Transducers / J. Engelfriet and S. Maneth -- Partially-Ordered Two-Way Automata: A New Characterization of DA / T. Schwentick, D. Therien and H. Vollmer -- Level 5/2 of the Straubing-Therien Hierarchy for Two-Letter Alphabets / C. Glasser and H. Schmitz -- On the Power of Randomized Pushdown Automata / J. Hromkovic and G. Schnitger -- The Root of a Language and Its Complexity / G. Lischke -- Valuated and Valence Grammars: An Algebraic View / H. Fernau and R. Stiebe -- Context-Free Valence Grammars - Revisited / H. J. Hoogeboom -- An Undecidability Result Concerning Periodic Morphisms / V. Halava and T. Harju -- A Universal Turing Machine with 3 State and 9 Symbols / M. Kudlek and Y. Rogozhin -- Minimal Covers of Formal Languages / M. Domaratzki, J. Shallit and S. Yu -- Some Regular Languages That Are Church-Rosser Congruential / G. Niemann and J. Waldmann -- On the Relationship between the McNaughton Families of Languages and the Chomsky Hierarchy / M. Beaudry, M. Holzer and G. Niemann / [et al.] -- Forbidden Factors and Fragment Assembly / F. Mignosi, A. Restivo and M. Sciortino -- Parallel Communicating Grammar Systems with Incomplete Information Communication / E. Csuhaj-Varju and G. Vaszil -- Eliminating Communication by Parallel Rewriting / B. Rovan and M. Slast'an -- String Rewriting Sequential P-Systems and Regulated Rewriting / P. Sosik and R. Freund.
Record Nr. UCHICAGO-4636110
[Conference on Developments in Language Theory (5th : 2001 : Vienna, Austria)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings / J. Karhumäki, H. Maurer, G. Rozenberg (eds.).
Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings / J. Karhumäki, H. Maurer, G. Rozenberg (eds.).
Estensione x, 443 p. : ill. ; 24 cm.
Disciplina 511.3
Accesso persona Salomaa, Arto
Karhumäki, J. (Juliani)
Maurer, Hermann A., 1941-
Rozenberg, Grzegorz
ISBN 3540581316 (Berlin : acid-free paper):
0387581316 (New York : acid-free paper)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-001851098
Materiale a stampa
Lo trovi qui: Duke University
Advances in Petri Nets, 1991 / G. Rozenberg (Ed.).
Advances in Petri Nets, 1991 / G. Rozenberg (Ed.).
Estensione viii, 572 p. : ill. ; 25 cm.
Accesso persona Rozenberg, Grzegorz
Accesso convegno International Conference on Applications and Theory of Petri Nets (11th : 1990 : Paris, France)
ISBN 3540543988 (Berlin)
0387543988 (New York)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-001026456
Materiale a stampa
Lo trovi qui: Duke University