Mathematical foundations of computer science 1990 : Banská Bystrica, Czechoslovakia, August 27 31, 1990 : proceedings
This volume contains papers selected for presentation at the 15th Symposium on Mathematical Foundations of Computer Science, MFCS '90, held at Banská Bystrica, Czechoslovakia, August 27-31, 1990. Previous MFCS proceedings have also been published in the Lecture Notes in Computer Science. This s...
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Saila: | Lecture notes in computer science
452 |
| Gaiak: | |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
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, 1990, proceedings [of the 15th Symposium], Banská Bystrica, Czechoslovakia, August 27-31, 1990, B. Rovan, ed, Berlin, Springer-Verlag, 1990, 1 vol. (VIII, 544 p.), Lecture notes in computer science, 3-540-52953-5 • Mathematical Foundations of Computer Science 1990, Texte imprimé, 9783662184639 |
| LEADER | 06974nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 945334 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155223631 | ||
| 020 | |a 9783540471851 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Symposium on mathematical foundations of computer science |n (15 |d :1990 |c :Banská Bystrica, Tchécoslovaquie). | |
| 245 | 1 | 0 | |a Mathematical foundations of computer science 1990 : |b Banská Bystrica, Czechoslovakia, August 27 31, 1990 : proceedings |c [edited by] B. Rovan. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 452 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a A logical operational semantics of full Prolog -- Syntactic theories -- On kleene algebras and closed semirings -- Interactive computations of optimal solutions -- Restricted branching programs and their computational power -- Dynamic hashing strategies -- One-way functions in complexity theory -- Type inference problems: A survey -- Counting the number of solutions -- Implementation of parallel graph reduction by explicit annotation and program transformation -- Interrogative complexity of ?-languages recognition -- On the power of uniform families of constant depth threshold circuits -- Separating sets of hyperrectangles -- On preemptive scheduling of periodic, real-time tasks on one processor -- Retractions in comparing prolog semantics (extended abstract) -- Using inductive counting to simulate nondeterministic computation -- Some properties of zerotesting bounded one-way multicounter machines -- On fast algorithms for two servers -- Decomposition of semi commutations -- Parallel construction of minimal suffix and factor automata -- Affine automata: A technique to generate complex images -- The complexity of symmetric functions in parity normal forms -- Event structures, causal trees, and refinements -- Query languages which express all PTIME queries for trees and unicyclic graphs -- Comparisons among classes of Y-tree systolic automata -- On checking versus evaluation of multiple queries -- Generalized kolmogorov complexity in relativized separations -- A first-order logic for partial recursive functions -- Speed-up theorem without tape compression -- On possibilities of one-way synchronized and alternating automata -- Unrestricted resolution versus N-resolution -- Quality criteria for partial order semantics of place/transition-nets -- Tree-stack automata -- Specification & verification ofhigher order processes -- The membership problem for context-free chain code picture languages -- Optimal algorithms for dissemination of information in some interconnection networks -- A hierarchy of compositional models of I/O-automata (Extended Abstract) -- Minimal nontrivial space complexity of probabilistic one- way turing machines -- On the complexity of genuinely polynomial computation -- Pumping lemmrs for tree languages generated by rewrite systems -- Vector language: Simple description of hard instances -- Separating ?L from L, NL, co-NL and AL (=P) for Oblivious turing machines of linear access time -- The use of graphs of elliptical influence in visual hierarchical clustering -- Characterizing unambiguous augmented pushdown automata by circuits -- Rational ?-transductions -- Splitsort an adaptive sorting algorithm -- Equational calculi for many-sorted algebras with empty carrier sets -- Semi-commutation and deterministic petri nets -- Internal labellings in lambda-calculus -- A sup-preserving completion of ordered partial algebras -- ATIME(n) is closed under Counting -- Investigation of finitary calculi for the temporal logics by means of infinitary calculi -- Typed horn logic (extended abstract) -- Results on the glory of the past -- A stronger version of parikh theorem -- The parallel complexity of some constructions in combinatorial group theory (abstract) -- Gentzen type axiomatization for PAL -- Distance automata having large finite distance or finite ambiguity -- Bottom-up-heap sort, a new variant of heap sort beating on average quick sort (if n is not very small) -- Symmetric functions in AC 0 can be computed in constant depth with very small size -- The k-section of treewidth restricted graphs -- Computing large polynomial powers very fast in parallel. | |
| 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 volume contains papers selected for presentation at the 15th Symposium on Mathematical Foundations of Computer Science, MFCS '90, held at Banská Bystrica, Czechoslovakia, August 27-31, 1990. Previous MFCS proceedings have also been published in the Lecture Notes in Computer Science. This symposium is the 15th in a series of international meetings which have taken place in Czechoslovakia and Poland. The aim of these symposia is to bring together specialists in theoretical fields of computer science from various countries and to stimulate mathematical research in theoretical computer science. These proceedings consist of 10 invited papers and 52 communications selected by the international Program Committee. The papers present the latest results in key areas of computer science by authors from Europe, USA, Japan and China. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Informatique |x Mathématiques | ||
| 650 | |a Analyse combinatoire | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Rovan, Branislav, |d 1947- |4 pbd | |
| 776 | 0 | |0 021686807 |t Mathematical foundations of computer science, 1990 |o proceedings [of the 15th Symposium] |o Banská Bystrica, Czechoslovakia, August 27-31, 1990 |f B. Rovan, ed |c Berlin |n Springer-Verlag |d 1990 |p 1 vol. (VIII, 544 p.) |s Lecture notes in computer science |z 3-540-52953-5 | |
| 776 | 0 | |t Mathematical Foundations of Computer Science 1990 |b Texte imprimé |z 9783662184639 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0029591 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-J49FN95B-2 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747911495 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0029591 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750924284 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0029591 |z Accès INSA CVL | |
| 997 | |0 945334 |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/ | ||