Mathematical Foundations of Computer Science 1996 (Record no. 36710)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04970nam a22005535i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783540705970 |
| -- | 978-3-540-70597-0 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.0151 |
| 245 10 - TITLE STATEMENT | |
| Title | Mathematical Foundations of Computer Science 1996 |
| Sub Title | 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings / |
| Statement of responsibility, etc | edited by Wojciech Penczek, Andrzej Szałas. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Berlin, Heidelberg : |
| Name of publisher | Springer Berlin Heidelberg, |
| Year of publication | 1996. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | X, 602 p. |
| Other physical details | online resource. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Word level model checking -- Code problems on traces -- Models of DNA computation -- Theory and practice of action semantics -- Linear time temporal logics over Mazurkiewicz traces -- Partial order reduction: Model-checking using representatives -- Nonmonotonic rule systems: Forward chaining, constraints, and complexity -- Mind the gap! Abstract versus concrete models of specifications -- A sequent calculus for subtyping polymorphic types -- Kolmogorov complexity: Recent research in Moscow -- A modal logic for data analysis -- From specifications to programs: A fork-algebraic approach to bridge the gap -- Logic of predicates with explicit substitutions -- On the query complexity of sets -- A Lambda Calculus of incomplete objects -- Bisimilarity problems requiring exponential time (Extended abstract) -- Linear dynamic Kahn networks are deterministic -- Shortest path problems with time constraints -- Parallel Alternating-Direction Access Machine -- Specification and verification of timed lazy systems -- A class of information logics with a decidable validity problem -- On the power of nonconservative PRAM -- Self-similarity viewed as a local property via tile sets -- Simulation of specification statements in Hoare logic -- Equational properties of iteration in algebraically complete categories -- On unconditional transfer -- (poly(log log n), poly(log log n))—Restricted verifiers are unlikely to exist for languages in $$\mathcal{N}\mathcal{P}$$ * -- Minimizing congestion of layouts for ATM networks with faulty links -- Polynomial automaticity, context-free languages, and fixed points of morphisms (Extended abstract) -- Causal testing -- Construction of list homomorphisms by tupling and fusion -- Probabilistic metric semantics for a simple language with recursion -- Dynamic graphs -- Equations on trees -- On the equivalence problem for E-pattern languages -- Specifying and verifying parametric processes -- On saturation with flexible function symbols -- Approximating good simultaneous Diophantine approximations is almost NP-hard -- On the conjugation of Standard morphisms -- A semantic matching algorithm: Analysis and implementation -- Routing on triangles, tori and honeycombs -- A uniform analysis of trie structures that store prefixing-keys with application to doubly-chained prefixing-tries -- On fairness in terminating and reactive programs -- Polynomial time samplable distributions -- From static to dynamic abstract data-types. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 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 presents 35 revised full papers selected from a total of 95 submissions together with 8 invited papers and 2 abstracts of invited talks. The papers included cover issues from the whole area of theoretical computer science, with a certain emphasis on mathematical and logical foundations. The 10 invited presentations are of particular value. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Information theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Combinatorics. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Theory of Computation. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Programming Languages, Compilers, Interpreters. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Combinatorics. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Penczek, Wojciech. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Szałas, Andrzej. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/3-540-61550-4 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | E-BOOKS |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg, |
| -- | 1996. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 0302-9743 ; |
| Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
|---|---|---|---|---|---|---|---|
| IMSc Library | EBK7416 | http://dx.doi.org/10.1007/3-540-61550-4 | E-BOOKS |