Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craków, Poland, September 2-6, 1996 : proceedings
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 pape...
সংরক্ষণ করুন:
| সংস্থা লেখক: | |
|---|---|
| অন্যান্য লেখক: | , |
| বিন্যাস: | Livre numérique |
| ভাষা: | Anglais |
| প্রকাশিত: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| মালা: | Lecture notes in computer science
1113 |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| টীকা: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Mathematical foundations of computer science 1996, 21st international symposium, MFCS '96, Craków, Poland, September 2-6, 1996, proceedings, Wojciech Penczek, Andrzej Szałas, eds, 1996, Berlin, Springer, 1 vol. (X-592 p.), Lecture notes in computer science, 3-540-61550-4 • Mathematical Foundations of Computer Science 1996, Texte imprimé, 9783662188781 |
| LEADER | 04566nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 944768 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15520145X | ||
| 020 | |a 9783540705970 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Symposium on mathematical foundations of computer science |n (21 |d :1996 |c :Cracovie, Pologne). | |
| 245 | 1 | 0 | |a Mathematical foundations of computer science 1996 : |b 21st international symposium, MFCS '96, Craków, Poland, September 2-6, 1996 : proceedings |c [edited by] Wojciech Penczek, Andrzej Szałas. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1113 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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 | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Informatique |x Mathématiques | ||
| 650 | |a Analyse combinatoire | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Szałas, Andrzej, |d 1958- |4 pbd | |
| 700 | 1 | |a Penczek, Wojciech, |d 19..- |4 pbd | |
| 776 | 0 | |0 025978098 |t Mathematical foundations of computer science 1996 |o 21st international symposium, MFCS '96, Craków, Poland, September 2-6, 1996 |o proceedings |f Wojciech Penczek, Andrzej Szałas, eds |d 1996 |c Berlin |n Springer |p 1 vol. (X-592 p.) |s Lecture notes in computer science |z 3-540-61550-4 | |
| 776 | 0 | |t Mathematical Foundations of Computer Science 1996 |b Texte imprimé |z 9783662188781 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-61550-4 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-0RKNCPV7-X |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747916721 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-61550-4 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750929367 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-61550-4 |z Accès INSA CVL | |
| 997 | |0 944768 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||