Foundations of Computer Science

1. Front Matter

   PDF

2. The might of formulas and their limits

   • F. L. Bauer

   Pages 1-8

   PDF

3. Hardware — Software

   • Heinz Zemanek

   Pages 9-19

   PDF

4. Defining discipline

   • Wolfgang Coy

   Pages 21-35

   PDF

5. Computer science as cultural development

   • Dirk Siefkes

   Pages 37-47

   PDF

6. Towards adjusting informatics education to information era

   • Jozef Gruska, Roland Vollmar

   Pages 49-67

   PDF

7. Informatics and society: A curriculum for distance education

   • Herbert Klaeren, Christiane Floyd, Friedrich Diestelmeier

   Pages 69-78

   PDF

8. Syntactic and semantic aspects of parallelism

   • Alexandru Mateescu, Grzegorz Rozenberg, Arto Salomaa

   Pages 79-105

   PDF

9. Unique fixpoints in complete lattices with applications to formal languages and semantics

   • Ingbert Kupka

   Pages 107-115

   PDF

10. On abstract families of languages, power series, and elements

    • Georg Karner, Werner Kuich

    Pages 117-124

    PDF

11. Are there formal languages complete for SymSPACE(log n)?

    • Klaus -Jörn Lange

    Pages 125-134

    PDF

12. On twist-closed trios: A new morphic characterization of r.e. sets

    • Matthias Jantzen

    Pages 135-142

    PDF

13. An automata approach to some problems on context-free grammars

    • J. Esparza, P. Rossmanith

    Pages 143-152

    PDF

14. On aperiodic sets of Wang tiles

    • Karel Culik, Jarkko Kari

    Pages 153-162

    PDF

15. Closure under complementation of logspace complexity classes - A survey -

    • Birgit Jenner

    Pages 163-175

    PDF

16. A relation between sparse and printable sets in NSPACE(log n)

    • Bernd Kirsig

    Pages 177-184

    PDF

17. A foundation for computable analysis

    • Klaus Weihrauch

    Pages 185-199

    PDF

18. A computer scientist's view of life, the universe, and everything

    • Jürgen Schmidhuber

    Pages 201-208

    PDF

19. Calendars and chronologies

    • Manfred Kudlek

    Pages 209-217

    PDF

20. A uniform approach to Petri Nets

    • H. Ehrig, J. Padberg

    Pages 219-231

    PDF

This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume presents 49 revised refereed papers organized in topical sections on computer science and its potential, social implications of computer science, formal languages and automata, structures and complexity theory, Petri nets, systems analysis and distributed systems, software engineering and verification, cognition and artificial intelligence, knowledge representation and reasoning, machine learning, neural networks and robotics, language and information systems.

• artificial intelligence
• complexity
• decision support system
• distributed systems
• formal language
• information system
• knowledge discovery
• knowledge representation
• machine learning
• proving
• robot
• robotics
• semantics
• verification
• visualization

Policies and ethics