Mathematical Foundations of Computer Science 1991 [electronic resource] : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings /
This volume contains the proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS '91, held in Kazimierz Dolny, Poland, September 9-13, 1991. The series of MFCS symposia, organized alternately in Poland and Czechoslovakia since 1972, has a long and well established tradition. The purpose of the series is to encourage high-quality research in all branches of theoretical computer science and to bring together specialists working actively in the area. Principal areas of interest in this symposium include: software specification and development, parallel and distributed computing, logic and semantics of programs, algorithms, automata and formal languages, complexity and computability theory, and others. The volume contains 5 invited papers by distinguished scientists and 38 contributions selected from a total of 109 submitted papers.
Main Authors: | , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1991
|
Subjects: | Computer science., Architecture, Computer., Software engineering., Computers., Algorithms., Computer logic., Computer Science., Theory of Computation., Software Engineering/Programming and Operating Systems., Computer System Implementation., Computation by Abstract Devices., Algorithm Analysis and Problem Complexity., Logics and Meanings of Programs., |
Online Access: | http://dx.doi.org/10.1007/3-540-54345-7 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:187189 |
---|---|
record_format |
koha |
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. Architecture, Computer. Software engineering. Computers. Algorithms. Computer logic. Computer Science. Theory of Computation. Software Engineering/Programming and Operating Systems. Computer System Implementation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Computer science. Architecture, Computer. Software engineering. Computers. Algorithms. Computer logic. Computer Science. Theory of Computation. Software Engineering/Programming and Operating Systems. Computer System Implementation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. |
spellingShingle |
Computer science. Architecture, Computer. Software engineering. Computers. Algorithms. Computer logic. Computer Science. Theory of Computation. Software Engineering/Programming and Operating Systems. Computer System Implementation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Computer science. Architecture, Computer. Software engineering. Computers. Algorithms. Computer logic. Computer Science. Theory of Computation. Software Engineering/Programming and Operating Systems. Computer System Implementation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Tarlecki, Andrzej. editor. SpringerLink (Online service) Mathematical Foundations of Computer Science 1991 [electronic resource] : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings / |
description |
This volume contains the proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS '91, held in Kazimierz Dolny, Poland, September 9-13, 1991. The series of MFCS symposia, organized alternately in Poland and Czechoslovakia since 1972, has a long and well established tradition. The purpose of the series is to encourage high-quality research in all branches of theoretical computer science and to bring together specialists working actively in the area. Principal areas of interest in this symposium include: software specification and development, parallel and distributed computing, logic and semantics of programs, algorithms, automata and formal languages, complexity and computability theory, and others. The volume contains 5 invited papers by distinguished scientists and 38 contributions selected from a total of 109 submitted papers. |
format |
Texto |
topic_facet |
Computer science. Architecture, Computer. Software engineering. Computers. Algorithms. Computer logic. Computer Science. Theory of Computation. Software Engineering/Programming and Operating Systems. Computer System Implementation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. |
author |
Tarlecki, Andrzej. editor. SpringerLink (Online service) |
author_facet |
Tarlecki, Andrzej. editor. SpringerLink (Online service) |
author_sort |
Tarlecki, Andrzej. editor. |
title |
Mathematical Foundations of Computer Science 1991 [electronic resource] : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings / |
title_short |
Mathematical Foundations of Computer Science 1991 [electronic resource] : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings / |
title_full |
Mathematical Foundations of Computer Science 1991 [electronic resource] : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings / |
title_fullStr |
Mathematical Foundations of Computer Science 1991 [electronic resource] : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings / |
title_full_unstemmed |
Mathematical Foundations of Computer Science 1991 [electronic resource] : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings / |
title_sort |
mathematical foundations of computer science 1991 [electronic resource] : 16th international symposium kazimierz dolny, poland, september 9–13, 1991 proceedings / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
1991 |
url |
http://dx.doi.org/10.1007/3-540-54345-7 |
work_keys_str_mv |
AT tarleckiandrzejeditor mathematicalfoundationsofcomputerscience1991electronicresource16thinternationalsymposiumkazimierzdolnypolandseptember9131991proceedings AT springerlinkonlineservice mathematicalfoundationsofcomputerscience1991electronicresource16thinternationalsymposiumkazimierzdolnypolandseptember9131991proceedings |
_version_ |
1756265613008830464 |
spelling |
KOHA-OAI-TEST:1871892018-07-30T23:10:27ZMathematical Foundations of Computer Science 1991 [electronic resource] : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings / Tarlecki, Andrzej. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1991.engThis volume contains the proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS '91, held in Kazimierz Dolny, Poland, September 9-13, 1991. The series of MFCS symposia, organized alternately in Poland and Czechoslovakia since 1972, has a long and well established tradition. The purpose of the series is to encourage high-quality research in all branches of theoretical computer science and to bring together specialists working actively in the area. Principal areas of interest in this symposium include: software specification and development, parallel and distributed computing, logic and semantics of programs, algorithms, automata and formal languages, complexity and computability theory, and others. The volume contains 5 invited papers by distinguished scientists and 38 contributions selected from a total of 109 submitted papers.Elimination of negation in term algebras -- Rewrite orderings and termination of rewrite systems -- On the faithfulness of formal models -- Models for concurrency -- On a hierarchy of file types and a tower of their theories -- Strong conjunction and intersection types -- Partial higher-order specifications -- Unification in incompletely specified theories: A case study -- Observing localities -- Abstract dynamic data types: A temporal logic approach -- Generating words by cellular automata -- Atomic refinement in process description languages -- Recognizable complex trace languages (abstract) -- Solving systems of linear diophantine equations: An algebraic approach -- A second-order pattern matching algorithm for the cube of typed ?-calculi -- The lazy call-by-value ?-calculus -- The limit of split n -bisimulations for CCS agents -- Stochastic automata and length distributions of rational languages -- Towards a categorical semantics of type classes -- Single-path Petri nets -- The bisection problem for graphs of degree 4 (configuring transputer systems) -- Some results concerning 2-D on-line tessellation acceptors and 2-D alternating finite automata -- Infinite normal forms for non-linear term rewriting systems -- Two algorithms for approxmate string matching in static texts -- Efficient constructions of test sets for regular and context-free languages -- The complexity of the reliable connectivity problem -- Pattern matching in order-sorted languages -- Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus -- A solution of the complement problem in associatiue-commutatiue theories -- A model for real-time systems -- On strict codes -- A decidable case of the semi-unification problem -- Maintaining dictionaries in a hierarchical memory -- Upper and lower bounds for certain GRAPH-ACCESSIBILITY-PROBLEMs on bounded alternating ?-BRANCHING PROGRAMs -- CCS dynamic bisimulation is progressing -- Syntax and semantics of a monotonic framework for non-monotonic reasoning -- On the cardinality of sets of infinite trees recognizable by finite automata -- Extending temporal logic by explicit concurrency -- An extensional partial combinatory algebra based on ?-terms -- Once more on order-sorted algebras -- Composition of two semi commutations -- An efficient decision algorithm for the uniform semi-unification problem extended abstract -- Different modifications of pointer machines and their computational power.This volume contains the proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS '91, held in Kazimierz Dolny, Poland, September 9-13, 1991. The series of MFCS symposia, organized alternately in Poland and Czechoslovakia since 1972, has a long and well established tradition. The purpose of the series is to encourage high-quality research in all branches of theoretical computer science and to bring together specialists working actively in the area. Principal areas of interest in this symposium include: software specification and development, parallel and distributed computing, logic and semantics of programs, algorithms, automata and formal languages, complexity and computability theory, and others. The volume contains 5 invited papers by distinguished scientists and 38 contributions selected from a total of 109 submitted papers.Computer science.Architecture, Computer.Software engineering.Computers.Algorithms.Computer logic.Computer Science.Theory of Computation.Software Engineering/Programming and Operating Systems.Computer System Implementation.Computation by Abstract Devices.Algorithm Analysis and Problem Complexity.Logics and Meanings of Programs.Springer eBookshttp://dx.doi.org/10.1007/3-540-54345-7URN:ISBN:9783540475798 |