rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Fundamentals of Computation Theory
    sub title: 12th International Symposium, FCT'99 Iasi, Romania, August 30 - September 3, 1999 Proceedings
  name:
    name part: Ciobanu, Gabriel.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Paun, Gheorghe.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 1999
    edition: 1st ed. 1999.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XII, 576 p. online resource.
  abstract: 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.
  table of contents: 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 linear bounded machines -- On maximal repetitions in words -- Axiomatization of the coherence property for categories of symmetries -- Sewing grammars -- State and transition complexit…
  note: edited by Gabriel Ciobanu, Gheorghe Paun.
  subject:
    topic: Computers
  subject:
    topic: Computer science-Mathematics
  subject:
    topic: Data structures (Computer science)
  subject:
    topic: Theory of Computation
  subject:
    topic: Discrete Mathematics in Computer Science
  subject:
    topic: Data Structures
  classification: QA75.5-76.95
  classification: QA76.63
  classification: 004.0151
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 1684
  identifier: 9783540483212
  identifier: https://doi.org/10.1007/3-540-48321-7
  record info:
    record creation date: 121227
    record change date: 20191023202125.0
    record identifier: 978-3-540-48321-2