Fundamentals of computation theory : 10th international conference ; proceedings / FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.) / Lecture notes in computer science ; Vol. 965 - Livro de bolso

EAN (ISBN-13): 9783540602491
ISBN (ISBN-10): 3540602496
Livro de capa dura
Livro de bolso
Ano de publicação: 1995
Editor/Editora: Springer Berlin Heidelberg
433 Páginas
Peso: 0,678 kg

Livro na base de dados desde 2007-07-10T10:54:24+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2024-02-13T14:43:16+00:00 (Lisbon)
Número ISBN/EAN: 3540602496

Número ISBN - Ortografia alternativa:
3-540-60249-6, 978-3-540-60249-1
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: reichel, horst horst
Título do livro: 10th august, dam 1995, may dresden, fundamentals computation theory, dresden fuß, lecture notes computer science, therapieren, reichel

---

Dados da editora

Autor: Horst Reichel
Título: Lecture Notes in Computer Science; Fundamentals of Computation Theory - 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Proceedings
Editora: Springer; Springer Berlin
441 Páginas
Ano de publicação: 1995-08-16
Berlin; Heidelberg; DE
Língua: Inglês
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 441 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Algorithms; Automat; algorithm; automata; complexity; computability; data structure; formal language; semantics; algorithm analysis and problem complexity; combinatorics; Theory of Computation; Algorithms; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Discrete Mathematics; Algorithmen und Datenstrukturen; Diskrete Mathematik; EA

Discrete time process algebra with abstraction.- A duration calculus with infinite intervals.- A delegation-based object calculus with subtyping.- Model-checking for real-time systems.- On polynomial ideals, their complexity, and applications.- From a concurrent ?-calculus to the ?-calculus.- Rewriting regular inequalities.- A simple abstract semantics for equational theories.- Processes with multiple entries and exits.- Efficient rewriting in cograph trace monoids.- Effective category and measure in abstract complexity theory.- About planar cayley graphs.- On condorcet and median points of simple rectilinear polygons.- Fast algorithms for maintaining shortest paths in outerplanar and planar digraphs.- r-Domination problems on homogeneously orderable graphs.- Growing patterns in 1D cellular automata.- Petri nets, commutative context-free grammars, and basic parallel processes.- Implementation of a UU-algorithm for primitive recursive tree functions.- Dummy elimination: Making termination easier.- Computing Petri net languages by reductions.- Categorial graphs.- Effective systolic algorithms for gossiping in cycles and two-dimensional grids.- Restarting automata.- Optimal contiguous expression DAG evaluations.- Communication as unification in the Petri Box Calculus.- Distributed catenation and chomsky hierarchy.- The power of frequency computation.- Randomized incremental construction of simple abstract Voronoi diagrams in 3-space.- Properties of probabilistic pushdown automata.- Formal parametric equations.- PRAM's towards realistic parallelism: BRAM's.- Some results concerning two-dimensional turing machines and finite automata.- How hard is to compute the edit distance.- On the synchronization of semi-traces.- Tiling with bars and satisfaction of boolean formulas.-Axiomatizing Petri net concatenable processes.- Functional sorts in data type specifications.