Foundations of Computer Science

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 The might of formulas and their limits
3. Altmetric Badge
   Chapter 2 Hardware — Software
4. Altmetric Badge
   Chapter 3 Defining discipline
5. Altmetric Badge
   Chapter 4 Computer science as cultural development
6. Altmetric Badge
   Chapter 5 Towards adjusting informatics education to information era
7. Altmetric Badge
   Chapter 6 Informatics and society: A curriculum for distance education
8. Altmetric Badge
   Chapter 7 Syntactic and semantic aspects of parallelism
9. Altmetric Badge
   Chapter 8 Unique fixpoints in complete lattices with applications to formal languages and semantics
10. Altmetric Badge
    Chapter 9 On abstract families of languages, power series, and elements
11. Altmetric Badge
    Chapter 10 Are there formal languages complete for SymSPACE(log n)?
12. Altmetric Badge
    Chapter 11 On twist-closed trios: A new morphic characterization of r.e. sets
13. Altmetric Badge
    Chapter 12 An automata approach to some problems on context-free grammars
14. Altmetric Badge
    Chapter 13 On aperiodic sets of Wang tiles
15. Altmetric Badge
    Chapter 14 Closure under complementation of logspace complexity classes - A survey -
16. Altmetric Badge
    Chapter 15 A relation between sparse and printable sets in NSPACE(log n)
17. Altmetric Badge
    Chapter 16 A foundation for computable analysis
18. Altmetric Badge
    Chapter 17 A computer scientist's view of life, the universe, and everything
19. Altmetric Badge
    Chapter 18 Calendars and chronologies
20. Altmetric Badge
    Chapter 19 A uniform approach to Petri Nets
21. Altmetric Badge
    Chapter 20 Observing partial order runs of Petri Nets
22. Altmetric Badge
    Chapter 21 Representation theorems for Petri Nets
23. Altmetric Badge
    Chapter 22 A remark on trace equations
24. Altmetric Badge
    Chapter 23 Verification of distributed algorithms with algebraic Petri Nets
25. Altmetric Badge
    Chapter 24 A short story on action refinement
26. Altmetric Badge
    Chapter 25 Interactive and reactive systems: States, observations, experiments, input, output, nondeterminism, compositionality and all that
27. Altmetric Badge
    Chapter 26 Discrete time analysis of a state dependent tandem with different customer types
28. Altmetric Badge
    Chapter 27 How distributed algorithms play the token game
29. Altmetric Badge
    Chapter 28 The asynchronous stack revisited: Rounds set the twilight reeling
30. Altmetric Badge
    Chapter 29 Online scheduling of continuous media streams
31. Altmetric Badge
    Chapter 30 Contribution to Goodenough's and Gerhart's theory of software testing and verification: Relation between strong compiler test and compiler implementation verification
32. Altmetric Badge
    Chapter 31 On the arrangement complexity of uniform trees
33. Altmetric Badge
    Chapter 32 A relational-functional integration for declarative programming
34. Altmetric Badge
    Chapter 33 Inside and outside the Chinese room
35. Altmetric Badge
    Chapter 34 Abstract structures in spatial cognition
36. Altmetric Badge
    Chapter 35 Spatial and temporal structures in cognitive processes
37. Altmetric Badge
    Chapter 36 Qualitative vs. Fuzzy representations of spatial distance
38. Altmetric Badge
    Chapter 37 What's a part? On formalizing part-whole relations
39. Altmetric Badge
    Chapter 38 SPOCK: A feasibility study on the completeness of parts lists
40. Altmetric Badge
    Chapter 39 Decision support systems with adaptive reasoning strategies
41. Altmetric Badge
    Chapter 40 Knowledge discovery in databases — An inductive logic programming approach
42. Altmetric Badge
    Chapter 41 The composition heuristic
43. Altmetric Badge
    Chapter 42 The job assignment problem: A study in parallel and distributed machine learning
44. Altmetric Badge
    Chapter 43 Self-improving behavior arbitration
45. Altmetric Badge
    Chapter 44 Neural networks for manipulator path planning
46. Altmetric Badge
    Chapter 45 Path planning using a subgoal graph
47. Altmetric Badge
    Chapter 46 A nonlinear markovian characterization of time series using neural networks
48. Altmetric Badge
    Chapter 47 Feature-based perception of semantic concepts
49. Altmetric Badge
    Chapter 48 Automatic detection of thesaurus relations for information retrieval applications
50. Altmetric Badge
    Chapter 49 InfoSphere ℳ -V: a new approach to 3D-visualization of information