000 06510nam a22006255i 4500
001 978-3-540-48340-3
003 DE-He213
005 20240423132439.0
007 cr nn 008mamaa
008 121227s1999 gw | s |||| 0|eng d
020 _a9783540483403
_9978-3-540-48340-3
024 7 _a10.1007/3-540-48340-3
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aMathematical Foundations of Computer Science 1999
_h[electronic resource] :
_b24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings /
_cedited by Miroslaw Kutylowski, Leszek Pacholski, Tomasz Wierzbicki.
250 _a1st ed. 1999.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c1999.
300 _aXII, 464 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v1672
505 0 _aComputing Over Reals -- On-Line Addition in Real Base -- Query Languages for Real Number Databases Based on Descriptive Complexity over R -- The Arithmetical Hierarchy of Real Numbers -- Compression Techniques -- The Burrows-Wheeler Transform: Theory and Practice -- Efficiency of Fast Parallel Pattern Searching in Highly Compressed Texts -- Foundations of Programming -- Computing and Comparing Semantics of Programs in Four-Valued Logics -- Foundations of Modular SOS -- Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces -- Complexity and Algorithms -- On the Complexity of Recognizing the Hilbert Basis of a Linear Diophantine System -- The Complexity of the Extended GCD Problem -- Complexity Results for Confluence Problems -- Model Checking -- Is Your Model Checker on Time? -- Clausal Resolution for CTL -- Model Checking and Higher-Order Recursion -- Distributed Computing -- Multiparty Communication Complexity: Very Hard Functions -- New Perspectives in Distributed Computing -- Functional Programming -- An Improved Disjunctive Strictness Analysis for Lazy Functional Languages -- Unique Fixed Point Induction for McCarthy’s Amb -- Automata -- On Some Topological Properties of Linear Cellular Automata -- Real-Time Language Recognition by One-Way and Two-Way Cellular Automata -- Average State Complexity of Operations on Unary Automata -- Fooling Rebound Automata -- Algorithms and Complexity -- The Complexity of Minimizing FBDDs -- Efficient Strongly Universal and Optimally Universal Hashing -- Lower and Upper Bounds for the Problem of Page Replication in Ring Networks -- Security -- Language-Based Security -- Logic -- An Algebraic Approach to Knowledge Representation -- On the Structure of the Monadic Logic of the Binary Tree -- A New Space Bound for the Modal Logics K4, KD4 and S4 -- CountingProblems -- On Approximating the Number of Bases of Exchange Preserving Matroids -- Processes and Bisimulation -- The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes -- On Plain and Hereditary History-Preserving Bisimulation -- Approximating Weak Bisimulation on Basic Process Algebras -- Graph Algorithms -- Edge Coloring of Bipartite Graphs with Constraints -- An Efficient Exact Algorithm for Constraint Bipartite Vertex Cover -- On Minimum Edge Ranking Spanning Trees -- Complexity -- Football Elimination Is Hard to Decide Under the 3-Point-Rule -- Generalized Regular Counting Classes -- A Foundation of Programming a Multi-tape Quantum Turing Machine -- Types: Theory and Applications -- A Type Discipline for Solving Year 2000 Problems in COBOL Programs -- Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types.
520 _aThis volume contains papers selected for presentation during the 24th Interna­ tional Symposium on Mathematical Foundations of Computer Science held on September 6-10, 1999 in Szklarska Por^ba, Poland. The symposium, organized alternately in the Czech Republic, Slovakia, and Poland, focuses on theoretical aspects and mathematical foundations of computer science. The scientific program of the symposium consists of five invited talks given by Martin Dyer, Dexter Kozen, Giovanni Manzini, Sergio Rajsbaum, and Mads Tofte, and 37 accepted papers chosen out of 68 submissions. The volume contains all accepted contributed papers, and three invited papers. The contributed papers have been selected for presentation based on their scientific quality, novelty, and interest for the general audience of MFCS par­ ticipants. Each paper has been reviewed by at least three independent referees — PC members and/or sub-referees appointed by them. The papers were se­ lected for presentation during a fully electronic virtual meeting of the program committee on May 7, 1999. The virtual PC meeting was supported by software written by Artur Zgoda, Ph.D. student at the University of Wroclaw. The entire communication and access to quite a sensitive database at PC headquarters in Wroclaw was secured by cryptographic protocols based on technology of certificates.
650 0 _aComputer science.
650 0 _aComputer science
_xMathematics.
650 0 _aDiscrete mathematics.
650 0 _aComputer networks .
650 0 _aMathematical logic.
650 1 4 _aTheory of Computation.
650 2 4 _aDiscrete Mathematics in Computer Science.
650 2 4 _aComputer Communication Networks.
650 2 4 _aMathematical Logic and Foundations.
650 2 4 _aDiscrete Mathematics.
700 1 _aKutylowski, Miroslaw.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aPacholski, Leszek.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aWierzbicki, Tomasz.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540664086
776 0 8 _iPrinted edition:
_z9783662197271
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v1672
856 4 0 _uhttps://doi.org/10.1007/3-540-48340-3
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c187858
_d187858