Informatik (15 757 Artikel)

Exercises in denotational semantics.- W-automata and their languages.- On semantic issues in the relational model of data.- The effective arrangement of logical systems.- Recursivity, sequence recu...

This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 2...

This volume constitutes the proceedings of the 19th International Symposium on Mathematical Foundations of Theoretical Computer Science, MFCS '94, held in Kosice, Slovakia in August 1994.MFCS '94 b...

This book constitutes the refereed proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MFCS '96, held in Crakow, Poland in September 1996.The volume pre...

Invited Talks.- Region Analysis and a ?-Calculus with Groups.- Abstract Data Types in Computer Algebra.- What Do We Learn from Experimental Algorithmics?.- And/Or Hierarchies and Round Abstraction....

Invited Talks.- A New Category for Semantics.- On Implications between P-NP-Hypotheses: Decision versus Computation in Algebraic Complexity.- Playing Games with Algorithms: Algorithmic Combinatoria...

This book constitutes the refereed proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science, MFCS 2002, held in Warsaw, Poland in August 2002.The 48 revised f...

Invited Talks.- Distributed Quantum Computing.- Selfish Routing in Non-cooperative Networks: A Survey.- Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols.- ...

Invited Lectures.- Page Migration in Dynamic Networks.- Knot Theory, Jones Polynomial and Quantum Computing.- Interactive Algorithms 2005.- Some Computational Issues in Membrane Computing.- The Gen...

Invited Talks.- A Core Calculus for Scala Type Checking.- Tree Exploration with an Oracle.- Distributed Data Structures: A Survey on Informative Labeling Schemes.- From Deduction Graphs to Proof Ne...

Invited Papers.- How To Be Fickle.- Finite Model Theory on Tame Classes of Structures.- Minimum Cycle Bases in Graphs Algorithms and Applications.- Hierarchies of Infinite Structures Generated by P...

This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008. The 45 revised ...

Invited Papers.- Four Subareas of the Theory of Constraints, and Their Links.- Synchronization of Regular Automata.- Stochastic Process Creation.- Stochastic Games with Finitary Objectives.- Stocha...

Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods ar...

Mathematical Methods in Time Series Analysis and Digital Image Processing