STACS 90 [electronic resource] : 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings /
The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association Française de Cybernétique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft für Informatik). It is held alternately in France and in Germany. This volume contains two invited papers, on combinatorial methods in computer science, and on the complexity of local optimization, and 24 contributions on theoretical aspects of computer science. Some software systems are presented showing the possibilities of applying theoretical research to the realization of software tools.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1990
|
Subjects: | Computer science., Computers., Algorithms., Computer logic., Mathematical logic., 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-52282-4 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:190697 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:1906972018-07-30T23:14:48ZSTACS 90 [electronic resource] : 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings / Choffrut, Christian. editor. Lengauer, Thomas. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1990.engThe Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association Française de Cybernétique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft für Informatik). It is held alternately in France and in Germany. This volume contains two invited papers, on combinatorial methods in computer science, and on the complexity of local optimization, and 24 contributions on theoretical aspects of computer science. Some software systems are presented showing the possibilities of applying theoretical research to the realization of software tools.A note on the almost-everywhere hierarchy for nondeterministic time -- The ring of k-regular sequences -- Minimal pairs and complete problems -- Hiding instances in multioracle queries -- Counting classes: Thresholds, parity, mods, and fewness -- Playing games of incomplete information -- Caterpillars and context-free languages -- Semi-commutations and algebraic languages -- Towards a process semantics in the logic programming style -- Parallel computations on strings and arrays -- Minimum vertex hulls for polyhedral domains -- Combinatorial rewriting on traces -- Kolmogorov complexity, restricted nondeterminism and generalized spectra -- Relation-sorted algebraic specifications with built-in coercers: Basic notions and results -- Computational power of one-way multihead finite automata -- Updating almost complete trees or one level makes all the difference -- Sorting the sums (xi+yj) in O(n2) comparisons -- Efficient checking of computations -- Hard promise problems and nonuniform complexity -- On the construction of abstract voronoi diagrams -- Approximation of convex figures by pairs of rectangles -- Nonblocking graphs: Greedy algorithms to compute disjoint paths -- Infinite trees and automaton definable relations over ?-words -- Enumerative Combinatorics and Computer Science -- Failures semantics based on interval semiwords is a congruence for refinement -- The analysis of local search problems and their heuristics.The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association Française de Cybernétique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft für Informatik). It is held alternately in France and in Germany. This volume contains two invited papers, on combinatorial methods in computer science, and on the complexity of local optimization, and 24 contributions on theoretical aspects of computer science. Some software systems are presented showing the possibilities of applying theoretical research to the realization of software tools.Computer science.Computers.Algorithms.Computer logic.Mathematical logic.Computer Science.Theory of Computation.Computation by Abstract Devices.Algorithm Analysis and Problem Complexity.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Springer eBookshttp://dx.doi.org/10.1007/3-540-52282-4URN:ISBN:9783540469452 |
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. Computer Science. Theory of Computation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Computer science. Computers. Algorithms. Computer logic. Mathematical logic. Computer Science. Theory of Computation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. |
spellingShingle |
Computer science. Computers. Algorithms. Computer logic. Mathematical logic. Computer Science. Theory of Computation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Computer science. Computers. Algorithms. Computer logic. Mathematical logic. Computer Science. Theory of Computation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Choffrut, Christian. editor. Lengauer, Thomas. editor. SpringerLink (Online service) STACS 90 [electronic resource] : 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings / |
description |
The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association Française de Cybernétique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft für Informatik). It is held alternately in France and in Germany. This volume contains two invited papers, on combinatorial methods in computer science, and on the complexity of local optimization, and 24 contributions on theoretical aspects of computer science. Some software systems are presented showing the possibilities of applying theoretical research to the realization of software tools. |
format |
Texto |
topic_facet |
Computer science. Computers. Algorithms. Computer logic. Mathematical logic. Computer Science. Theory of Computation. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. |
author |
Choffrut, Christian. editor. Lengauer, Thomas. editor. SpringerLink (Online service) |
author_facet |
Choffrut, Christian. editor. Lengauer, Thomas. editor. SpringerLink (Online service) |
author_sort |
Choffrut, Christian. editor. |
title |
STACS 90 [electronic resource] : 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings / |
title_short |
STACS 90 [electronic resource] : 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings / |
title_full |
STACS 90 [electronic resource] : 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings / |
title_fullStr |
STACS 90 [electronic resource] : 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings / |
title_full_unstemmed |
STACS 90 [electronic resource] : 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings / |
title_sort |
stacs 90 [electronic resource] : 7th annual symposium on theoretical aspects of computer science rouen, france, february 22–24, 1990 proceedings / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
1990 |
url |
http://dx.doi.org/10.1007/3-540-52282-4 |
work_keys_str_mv |
AT choffrutchristianeditor stacs90electronicresource7thannualsymposiumontheoreticalaspectsofcomputersciencerouenfrancefebruary22241990proceedings AT lengauerthomaseditor stacs90electronicresource7thannualsymposiumontheoreticalaspectsofcomputersciencerouenfrancefebruary22241990proceedings AT springerlinkonlineservice stacs90electronicresource7thannualsymposiumontheoreticalaspectsofcomputersciencerouenfrancefebruary22241990proceedings |
_version_ |
1756266093054263296 |