↓ Skip to main content

Formal and Natural Computing

Overview of attention for book
Cover of 'Formal and Natural Computing'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Balanced Grammars and Their Languages
  3. Altmetric Badge
    Chapter 2 Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids
  4. Altmetric Badge
    Chapter 3 The Delta Operation: From Strings to Trees to Strings
  5. Altmetric Badge
    Chapter 4 Infinite Solutions of Marked Post Correspondence Problem
  6. Altmetric Badge
    Chapter 5 The Branching Point Approach to Conway’s Problem
  7. Altmetric Badge
    Chapter 6 A Survey of Some Quantitative Approaches to the Notion of Information
  8. Altmetric Badge
    Chapter 7 Nondeterministic Trajectories
  9. Altmetric Badge
    Chapter 8 Binary Patterns in Infinite Binary Words
  10. Altmetric Badge
    Chapter 9 A Sight-seeing Tour of the Computational Landscape of Graph Transformation
  11. Altmetric Badge
    Chapter 10 Local Action Systems and DPO Graph Transformation
  12. Altmetric Badge
    Chapter 11 Bisimulation Equivalences for Graph Grammars
  13. Altmetric Badge
    Chapter 12 High-Level Net Processes
  14. Altmetric Badge
    Chapter 13 Petri Net Control for Grammar Systems
  15. Altmetric Badge
    Chapter 14 Regular Event Structures and Finite Petri Nets: A Conjecture
  16. Altmetric Badge
    Chapter 15 Towards Team-Automata-Driven Object-Oriented Collaborative Work
  17. Altmetric Badge
    Chapter 16 Grammars as Processes
  18. Altmetric Badge
    Chapter 17 Temporal Concurrent Constraint Programming: Applications and Behavior
  19. Altmetric Badge
    Chapter 18 Rewriting P Systems with Conditional Communication
  20. Altmetric Badge
    Chapter 19 An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relation
  21. Altmetric Badge
    Chapter 20 Upper Bounds for Restricted Splicing
  22. Altmetric Badge
    Chapter 21 Codes, Involutions, and DNA Encodings
  23. Altmetric Badge
    Chapter 22 DNA Manipulations in Ciliates
  24. Altmetric Badge
    Chapter 23 A Magic Pot : Self-assembly Computation Revisited
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
3 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Formal and Natural Computing
Published by
Springer Berlin Heidelberg, August 2003
DOI 10.1007/3-540-45711-9
ISBNs
978-3-54-043190-9, 978-3-54-045711-4
Editors

Brauer, Wilfried, Ehrig, Hartmut, Karhumäki, Juhani, Salomaa, Arto

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 33%
Student > Master 1 33%
Researcher 1 33%
Readers by discipline Count As %
Computer Science 2 67%
Engineering 1 33%