Abstract is missing.
- The Might of Formulas and Their LimitsFriedrich L. Bauer. 1-8 [doi]
- Hardware - Software: An Equivalence and a ContradictionHeinz Zemanek. 9-19 [doi]
- Defining DisciplineWolfgang Coy. 21-35 [doi]
- Computer Science as Cultural Development: Toward a Broader TheoryDirk Siefkes. 37-47 [doi]
- Towards Adjusting Informatics Education to Information EraJozef Gruska, Roland Vollmar. 49-67 [doi]
- Informatics and Society: A Curriculum for Distance EducationHerbert Klaeren, Christiane Floyd, Friedrich Diestelmeier. 69-78 [doi]
- Syntactic and Semantic Aspects of ParallelismAlexandru Mateescu, Grzegorz Rozenberg, Arto Salomaa. 79-105 [doi]
- Unique Fixpoints in Complete Lattices with Applications to Formal Languages and SemanticsIngbert Kupka. 107-115 [doi]
- On Abstract Families of Languages, Power Series, and ElementsGeorg Karner, Werner Kuich. 117-124 [doi]
- Are There Formal Languages Complete for SymSPACE(log n)?Klaus-Jörn Lange. 125-134 [doi]
- On Twist-Closed Trios: A New Morphic Characterization of r.e. SetsMatthias Jantzen. 135-142 [doi]
- An Automata Approach to Some Problems on Context-Free GrammarsJavier Esparza, Peter Rossmanith. 143-152 [doi]
- On Aperiodic Sets of Wang TilesKarel Culik II, Jarkko Kari. 153-162 [doi]
- Closure under Complementation of Logspace Complexity Classes - A SurveyBirgit Jenner. 163-175 [doi]
- A Relation Between Sparse and Printable Sets in NSPACE(log n)Bernd Kirsig. 177-184 [doi]
- A Foundation for Computable AnalysisKlaus Weihrauch. 185-199 [doi]
- A Computer Scientist s View of Life, the Universe, and EverythingJürgen Schmidhuber. 201-208 [doi]
- Calendars and ChronologiesManfred Kudlek. 209-217 [doi]
- A Uniform Approach to Petri NetsHartmut Ehrig, Julia Padberg. 219-231 [doi]
- Observing Partial Order Runs of Petri NetsAstrid Kiehn. 233-238 [doi]
- Representation Theorems for Petri NetsJosé Meseguer, Ugo Montanari, Vladimiro Sassone. 239-249 [doi]
- A Remark on Trace EquationsVolker Diekert. 251-260 [doi]
- Verification of Distributed Algorithms with Algebraic Petri NetsEkkart Kindler, Wolfgang Reisig. 261-270 [doi]
- A Short STory on Action RefinementWalter Vogler. 271-278 [doi]
- Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all ThatManfred Broy. 279-286 [doi]
- Discrete Time Analysis of a State Dependent Tandem with Different Customer TypesHans Daduna. 287-296 [doi]
- How Distributed Algorithms Play the Token GameJörg Desel. 297-306 [doi]
- The Asynchronous Stack Revisited: Rounds Sets the Twilight ReelingRolf Walter. 307-312 [doi]
- Online Scheduling of Continuous Media StreamsBurkhard Monien, Petra Berenbrink, Reinhard Lüling, Marco Riedel. 313-320 [doi]
- Contribution to Goodenough s and Gerhart s Theory of Software Testing and Verification: Relation between Strong Compiler Test and Compiler Implementation VerificationHans Langmaack. 321-335 [doi]
- On the Arrangement Complexity of Uniform TreesGünter Hotz, Hongzhong Wu. 337-350 [doi]
- A Relational-Functional Integration for Declarative ProgrammingHarold Boley. 351-358 [doi]
- Inside and Outside the Chinese RoomSiegfried Kanngießer. 359-368 [doi]
- Abstract Structures in Spatial CognitionChristopher Habel, Carola Eschenbach. 369-378 [doi]
- Spatial and Temporal Structures in Cognitive ProcessesChristian Freksa. 379-387 [doi]
- Qualitative vs. Fuzzy Represenations of Spatial DistanceDaniel Hernández. 389-398 [doi]
- What s a Part? On Formalizing Part-Whole RelationsSimone Pribbenow. 399-406 [doi]
- SPOCK: A Feasibility Study on the Completeness of Part ListsClaus-Rainer Rollinger. 407-415 [doi]
- Decision Support Systems with Adaptive Reasoning StrategiesKerstin Schill. 417-427 [doi]
- Knowledge Discovery in databases - An Inductive Logic Programming ApproachKatharina Morik. 429-436 [doi]
- The Composition HeuristicKurt Ammon. 437-444 [doi]
- The Job Assignment Problem: A Study in Parallel and Distributed Machine LearningGerhard Weiß. 445-454 [doi]
- Self-Improving Behavior ArbitrationMohamed Salah Hamdi, Karl Kaiser. 455-464 [doi]
- Neural Networks for Manipulator Path PlanningMargit Sturm. 465-472 [doi]
- Path Planning Using a Subgoal GraphMartin Eldracher, Thomas Pic. 473-480 [doi]
- A Nonlinear Markovian Characterization of Time Series Using Neural NetworksChristian Schittenkopf, Gustavo Deco. 481-488 [doi]
- Feature-Based Perception of Semantic ConceptsGabriele Scheler. 489-497 [doi]
- Automatic Detection of Thesaurus relations for Information Retrieval ApplicationsGerda Ruge. 499-506 [doi]
- InfoShere:::TM:::-V: A New Approach to 3D-Visualization of InformationLeo Pfefferer, Dieter Schütt. 507-514 [doi]