Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007427620/catalog> ?p ?o. }

• catalog abstract ""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."--PUBLISHER'S WEBSITE.".
• catalog contributor b10253092.
• catalog contributor b10253093.
• catalog contributor b10253094.
• catalog created "c1996.".
• catalog date "1996".
• catalog date "c1996.".
• catalog dateCopyrighted "c1996.".
• catalog description ""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."--PUBLISHER'S WEBSITE.".
• catalog description "A uniform analysis of trie structures that store prefixing-keys with application to doubly-chained prefixing-tries / P. de la Torre, D.T. Kao -- On fairness in terminating and reactive programs / A. Wabenhorst -- Polynomial time samplable distributions / T. Yamakami -- From static to dynamic abstract data-types / E. Zucca.".
• catalog description "Includes bibliographical references and index.".
• catalog description "Linear dynamic Kahn networks are deterministic / A. de Bruin, S.H. Nienhuys-Cheng -- Shortest path problems with time constraints / X. Cai, T. Kloks, C.K. Wong -- Parallel alternating-direction access machine / B.S. Chlebus [and others] -- Specification and verification of timed lazy systems / F. Corradini, M. Pistore -- A class of information logics with a decidable validity problem / S. Demri -- On the power of nonconservative PRAM / A. Dessmark, A. Lingas -- Self-similarity viewed as a local property via tile sets / B. Durand -- Simulation of specification statements in Hoare logic / K. Engelhardt, W.-P. de Roever -- Equational properties of iteration in algebraically complete categories / Z. Esik, A. Labella -- On unconditional transfer / H. Fernau -- (poly(log log n), poly(log log n))-restricted verifiers are unlikely to exist for languages in NP / D. Fotakis, P. Spirakis -- Minimizing congestion of layouts for ATM networks with faulty links / L. Gasieniec [and others] -- ".
• catalog description "Polynomial automaticity, context-free languages, and fixed points of morphisms / I. Glaister, J. Shallit -- Casual testing / U. Goltz, H. Wehrheim -- Construction of list homomorphisms by tupling and fusion / Z. Hu, H. Iwasaki, M. Takeichi -- Probabilistic metric semantics for a simple language with recursion / M. Kwiatkowska, G. Norman -- Dynamics graphs / A. Maggiolo-Schettini, J. Winkowski -- Equations on trees / S. Mantaci, A. Restivo -- On the equivalence problem for E-pattern languages / E. Ohlebusch, E. Ukkonen -- Specifying and verifying parametric processes / W. Pawlowski, P. Paczkowski, S. Sokolowski -- On saturation with flexible function symbols / R. Pliuskevicius -- Approximating good simultaneous diophantine approximations is almost NP-hard / C. Rossner, J.-P Seifert -- On the conjugation of standard morphisms / P. Seebold -- A semantic matching algorithm / H. Shi -- Routing on triangles, tori and honeycombs / J.F. Sibeyn -- ".
• catalog description "Word level model checking / E.M. Clarke, X. Zhao -- Code problems on traces / V. Diekert, A. Muscholl -- Models of DNA computation / A. Gibbons, M. Amos, D. Hodgson -- Theory and practice of action semantics / P.D. Mosses -- Linear time temporal logics over Mazurkiewicz traces / M. Mukund, P.S. Thiagarajan -- Partial order reduction / D.A. Peled -- Nonmonotonic rule systems / J.B. Remmel -- Mind the gap! Abstract versus concrete models of specifications / D. Sannella, A. Tarlecki -- A sequent calculus for subtyping polymorphic types / J. Tiuryn -- Kolmogorov complexity / V.A. Uspensky -- A modal logic for data analysis / P. Balbiani -- From specifications to programs / G.A. Baum [and others] -- Logic of predicates with explicit substitutions / M.A. Bednarczyk -- On the query complexity of sets / R. Beigel [and others] -- A lambda calculus of incomplete objects / V. Bono, M. Bugliesi, L. Liquori -- Bisimilarity problems requiring exponential time / M. Boreale, L. Trevisan -- ".
• catalog extent "x, 592 p. :".
• catalog identifier "3540615504 (alk. paper)".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1113".
• catalog issued "1996".
• catalog issued "c1996.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "004/.01/51 20".
• catalog subject "Computer science Mathematics Congresses.".
• catalog subject "QA76.9.M35 S96 1996".
• catalog tableOfContents "A uniform analysis of trie structures that store prefixing-keys with application to doubly-chained prefixing-tries / P. de la Torre, D.T. Kao -- On fairness in terminating and reactive programs / A. Wabenhorst -- Polynomial time samplable distributions / T. Yamakami -- From static to dynamic abstract data-types / E. Zucca.".
• catalog tableOfContents "Linear dynamic Kahn networks are deterministic / A. de Bruin, S.H. Nienhuys-Cheng -- Shortest path problems with time constraints / X. Cai, T. Kloks, C.K. Wong -- Parallel alternating-direction access machine / B.S. Chlebus [and others] -- Specification and verification of timed lazy systems / F. Corradini, M. Pistore -- A class of information logics with a decidable validity problem / S. Demri -- On the power of nonconservative PRAM / A. Dessmark, A. Lingas -- Self-similarity viewed as a local property via tile sets / B. Durand -- Simulation of specification statements in Hoare logic / K. Engelhardt, W.-P. de Roever -- Equational properties of iteration in algebraically complete categories / Z. Esik, A. Labella -- On unconditional transfer / H. Fernau -- (poly(log log n), poly(log log n))-restricted verifiers are unlikely to exist for languages in NP / D. Fotakis, P. Spirakis -- Minimizing congestion of layouts for ATM networks with faulty links / L. Gasieniec [and others] -- ".
• catalog tableOfContents "Polynomial automaticity, context-free languages, and fixed points of morphisms / I. Glaister, J. Shallit -- Casual testing / U. Goltz, H. Wehrheim -- Construction of list homomorphisms by tupling and fusion / Z. Hu, H. Iwasaki, M. Takeichi -- Probabilistic metric semantics for a simple language with recursion / M. Kwiatkowska, G. Norman -- Dynamics graphs / A. Maggiolo-Schettini, J. Winkowski -- Equations on trees / S. Mantaci, A. Restivo -- On the equivalence problem for E-pattern languages / E. Ohlebusch, E. Ukkonen -- Specifying and verifying parametric processes / W. Pawlowski, P. Paczkowski, S. Sokolowski -- On saturation with flexible function symbols / R. Pliuskevicius -- Approximating good simultaneous diophantine approximations is almost NP-hard / C. Rossner, J.-P Seifert -- On the conjugation of standard morphisms / P. Seebold -- A semantic matching algorithm / H. Shi -- Routing on triangles, tori and honeycombs / J.F. Sibeyn -- ".
• catalog tableOfContents "Word level model checking / E.M. Clarke, X. Zhao -- Code problems on traces / V. Diekert, A. Muscholl -- Models of DNA computation / A. Gibbons, M. Amos, D. Hodgson -- Theory and practice of action semantics / P.D. Mosses -- Linear time temporal logics over Mazurkiewicz traces / M. Mukund, P.S. Thiagarajan -- Partial order reduction / D.A. Peled -- Nonmonotonic rule systems / J.B. Remmel -- Mind the gap! Abstract versus concrete models of specifications / D. Sannella, A. Tarlecki -- A sequent calculus for subtyping polymorphic types / J. Tiuryn -- Kolmogorov complexity / V.A. Uspensky -- A modal logic for data analysis / P. Balbiani -- From specifications to programs / G.A. Baum [and others] -- Logic of predicates with explicit substitutions / M.A. Bednarczyk -- On the query complexity of sets / R. Beigel [and others] -- A lambda calculus of incomplete objects / V. Bono, M. Bugliesi, L. Liquori -- Bisimilarity problems requiring exponential time / M. Boreale, L. Trevisan -- ".
• catalog title "Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craców, Poland, September 2-6, 1996 : proceedings / Wojciech Penczek, Andrzej Szałas, eds.".
• catalog type "Conference proceedings. fast".
• catalog type "Krakau (1996) swd".
• catalog type "text".