![Fundamentals of Computation Theory [electronic resource] : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings /](/search/themes/bootstrap3/images/libros.png)
Fundamentals of Computation Theory [electronic resource] : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings /
This book presents the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT '95, held in Dresden, Germany in August 1995. The volume contains five invited lectures and 32 revised papers carefully selected for presentation at FCT '95. A broad spectrum of theoretical computer science is covered; among topics addressed are algorithms and data structures, automata and formal languages, categories and types, computability and complexity, computational logics, computational geometry, systems specification, learning theory, parallelism and concurrency, rewriting and high-level replacement systems, and semantics.
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1995
|
| Subjects: | Computer science., Computers., Algorithms., Computer logic., Mathematical logic., Combinatorics., Computer Science., Theory of Computation., Computation by Abstract Devices., Algorithm Analysis and Problem Complexity., Logics and Meanings of Programs., Mathematical Logic and Formal Languages., |
| Online Access: | http://dx.doi.org/10.1007/3-540-60249-6 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
KOHA-OAI-TEST:169888 |
|---|---|
| record_format |
koha |
| spelling |
KOHA-OAI-TEST:1698882018-07-30T22:46:15ZFundamentals of Computation Theory [electronic resource] : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings / Reichel, Horst. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1995.engThis book presents the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT '95, held in Dresden, Germany in August 1995. The volume contains five invited lectures and 32 revised papers carefully selected for presentation at FCT '95. A broad spectrum of theoretical computer science is covered; among topics addressed are algorithms and data structures, automata and formal languages, categories and types, computability and complexity, computational logics, computational geometry, systems specification, learning theory, parallelism and concurrency, rewriting and high-level replacement systems, and semantics.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.This book presents the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT '95, held in Dresden, Germany in August 1995. The volume contains five invited lectures and 32 revised papers carefully selected for presentation at FCT '95. A broad spectrum of theoretical computer science is covered; among topics addressed are algorithms and data structures, automata and formal languages, categories and types, computability and complexity, computational logics, computational geometry, systems specification, learning theory, parallelism and concurrency, rewriting and high-level replacement systems, and semantics.Computer science.Computers.Algorithms.Computer logic.Mathematical logic.Combinatorics.Computer Science.Theory of Computation.Computation by Abstract Devices.Algorithm Analysis and Problem Complexity.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Combinatorics.Springer eBookshttp://dx.doi.org/10.1007/3-540-60249-6URN:ISBN:9783540447702 |
| institution |
COLPOS |
| collection |
Koha |
| country |
México |
| countrycode |
MX |
| component |
Bibliográfico |
| access |
En linea En linea |
| databasecode |
cat-colpos |
| tag |
biblioteca |
| region |
America del Norte |
| libraryname |
Departamento de documentación y biblioteca de COLPOS |
| language |
eng |
| topic |
Computer science. Computers. Algorithms. Computer logic. Mathematical logic. Combinatorics. Computer Science. Theory of Computation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Combinatorics. Computer science. Computers. Algorithms. Computer logic. Mathematical logic. Combinatorics. Computer Science. Theory of Computation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Combinatorics. |
| spellingShingle |
Computer science. Computers. Algorithms. Computer logic. Mathematical logic. Combinatorics. Computer Science. Theory of Computation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Combinatorics. Computer science. Computers. Algorithms. Computer logic. Mathematical logic. Combinatorics. Computer Science. Theory of Computation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Combinatorics. Reichel, Horst. editor. SpringerLink (Online service) Fundamentals of Computation Theory [electronic resource] : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings / |
| description |
This book presents the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT '95, held in Dresden, Germany in August 1995. The volume contains five invited lectures and 32 revised papers carefully selected for presentation at FCT '95. A broad spectrum of theoretical computer science is covered; among topics addressed are algorithms and data structures, automata and formal languages, categories and types, computability and complexity, computational logics, computational geometry, systems specification, learning theory, parallelism and concurrency, rewriting and high-level replacement systems, and semantics. |
| format |
Texto |
| topic_facet |
Computer science. Computers. Algorithms. Computer logic. Mathematical logic. Combinatorics. Computer Science. Theory of Computation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Combinatorics. |
| author |
Reichel, Horst. editor. SpringerLink (Online service) |
| author_facet |
Reichel, Horst. editor. SpringerLink (Online service) |
| author_sort |
Reichel, Horst. editor. |
| title |
Fundamentals of Computation Theory [electronic resource] : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings / |
| title_short |
Fundamentals of Computation Theory [electronic resource] : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings / |
| title_full |
Fundamentals of Computation Theory [electronic resource] : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings / |
| title_fullStr |
Fundamentals of Computation Theory [electronic resource] : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings / |
| title_full_unstemmed |
Fundamentals of Computation Theory [electronic resource] : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings / |
| title_sort |
fundamentals of computation theory [electronic resource] : 10th international conference, fct '95 dresden, germany, august 22–25, 1995 proceedings / |
| publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
| publishDate |
1995 |
| url |
http://dx.doi.org/10.1007/3-540-60249-6 |
| work_keys_str_mv |
AT reichelhorsteditor fundamentalsofcomputationtheoryelectronicresource10thinternationalconferencefct95dresdengermanyaugust22251995proceedings AT springerlinkonlineservice fundamentalsofcomputationtheoryelectronicresource10thinternationalconferencefct95dresdengermanyaugust22251995proceedings |
| _version_ |
1756263240316223488 |