Fundamentals of computation theory : 12th International Symposium, FCT 99 Ia—si, Romania, August 30 - September 3, 1999 : proceedings
This book constitutes the refereed proceedings of the 12th International Symposium on Fundamentals of Computation Theory, FCT '99, held in Iasi, Romania in August/September 1999. The 42 revised full papers presented together with four invited papers were carefully selected from a total of 102 s...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
1684 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Fundamentals of computation theory, 12th International Symposium, FCT'99, Iasi, Romania, August 30-September 3, 1999, porceedings, Gabriel Ciobanu, Gheorghe Păun, eds, 1999, New York, Springer, 1 vol. (XI-570 p.), Lecture notes in computer science, 3-540-66412-2 • Fundamentals of Computation Theory, Texte imprimé, 9783662176634 |
| LEADER | 05878nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 970322 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155188321 | ||
| 020 | |a 9783540483212 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on fundamentals of computation theory |n (12 |d :1999 |c :Iasi, Roumanie). | |
| 245 | 1 | 0 | |a Fundamentals of computation theory : |b 12th International Symposium, FCT 99 Ia—si, Romania, August 30 - September 3, 1999 : proceedings |c [edited by] Gabriel Ciobanu, Gheorghe Păun. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1684 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Randomized complexity of linear arrangements and polyhedra? -- Tile transition systems as structured coalgebras? -- Caesar and DNA views on cryptology -- Automata and their interaction: Definitional suggestions -- Axiomatising asynchronous process calculi -- A polynomial time approximation scheme for dense MupIN 2S{upAT} -- Decidable classes of the verification problem in a timed predicate logic -- Interpretations of extensible objects and types -- Restrictive acceptance suffices for equivalence problems -- Grammar systems as language analyzers and recursively enumerable languages -- An interpretation of extensible objects -- Modeling operating systems schedulers with multi-stack-queue grammars -- Iterative arrays with a wee bit alternation -- Secret sharing schemes with detection of cheaters for a general access structure -- Constructive notes on uniform and locally convex spaces -- Graph automorphisms with maximal projection distances -- Kleene theorems for event-clock automata -- Strong iteration lemmata for regular, linear, context-free, and linear indexed languages -- Exponential output size of top-down tree transducers -- On recognizable languages in divisibility monoids -- Expressiveness of point-to-point versus broadcast communications -- On relative loss bounds in generalized linear regression -- Generalized P-systems -- Optimal, distributed decision-making: The case of no communication -- Generalized PCP is decidable for marked morphisms -- On time-constructible functions in one-dimensional cellular automata -- Dichotomy theorem for the generalized unique satisfiability problem -- A general categorical connection between local event structures and local traces -- Correct translation of mutually recursive function systems into TOL collage grammars -- Synchronized product of linearbounded machines -- On maximal repetitions in words -- Axiomatization of the coherence property for categories of symmetries -- Sewing grammars -- State and transition complexity of Watson-Crick finite automata -- A confluence result for a typed ?-calculus of exception handling with fixed-point -- ?-Uniformly decidable sets and turing machines -- A parallel context-free derivation hierarchy -- Generalized synchronization languages -- A generalization of Dijkstra s calculus to typed program specifications -- Homomorphisms and concurrent term rewriting -- On two-sided infinite fixed points of morphisms -- Tiling multi-dimensional arrays -- Modeling interaction by sheaves and geometric logic -- The operators minCh and maxCh on the polynomial hierarchy -- The Kolmogorov complexity of real numbers -- A partial order method for the verification of time Petri nets -- Deriving formulas for domination numbers of fasciagraphs and rotagraphs. | |
| 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 12th International Symposium on Fundamentals of Computation Theory, FCT '99, held in Iasi, Romania in August/September 1999. The 42 revised full papers presented together with four invited papers were carefully selected from a total of 102 submissions. Among the topics addressed are abstract data types, algorithms and data structures, automata and formal languages, categorical and topological approaches, complexity, computational geometry, concurrency, cryptology, distributed computing, logics in computer science, process algebras, symbolic computation, molecular computing, quantum computing, etc. | ||
| 650 | |a Informatique | ||
| 650 | |a Structures de données (informatique) | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Ciobanu, Gabriel, |d 19..- |4 pbd | |
| 700 | 1 | |a Păun, Gheorghe, |d 1950- |4 pbd | |
| 776 | 0 | |0 046443134 |t Fundamentals of computation theory |o 12th International Symposium, FCT'99, Iasi, Romania, August 30-September 3, 1999 |o porceedings |f Gabriel Ciobanu, Gheorghe Păun, eds |d 1999 |c New York |n Springer |p 1 vol. (XI-570 p.) |s Lecture notes in computer science |z 3-540-66412-2 | |
| 776 | 0 | |t Fundamentals of Computation Theory |b Texte imprimé |z 9783662176634 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-48321-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-G3P3QKH5-G |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750664436 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-48321-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754013766 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-48321-7 |z Accès INSA CVL | |
| 997 | |0 970322 |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/ | ||