ISBN: 9783540483328
This volume constitutes the proceedings of the 11th annual Symposium on Theoretical Aspects of Computer Science (STACS '94), held in Caen, France, February 24-26, 1994. Besides three prom… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540483328
Computer Science; Theory of Computation; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Mathematical Logic and Formal Languag… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten Details... |
ISBN: 9783540483328
Computer Science; Theory of Computation; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Mathematical Logic and Formal Languag… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540483328
Computer Science; Theory of Computation; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Mathematical Logic and Formal Languag… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540483328
This volume constitutes the proceedings of the 11th annual Symposium on Theoretical Aspects of Computer Science (STACS '94), held in Caen, France, February 24-26, 1994. Besides three prom… Mehr…
ISBN: 9783540483328
Computer Science; Theory of Computation; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Mathematical Logic and Formal Languag… Mehr…
ISBN: 9783540483328
Computer Science; Theory of Computation; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Mathematical Logic and Formal Languag… Mehr…
ISBN: 9783540483328
Computer Science; Theory of Computation; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Mathematical Logic and Formal Languag… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - STACS 94
EAN (ISBN-13): 9783540483328
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2017-01-29T17:51:15+01:00 (Zurich)
Detailseite zuletzt geändert am 2021-11-07T16:58:53+01:00 (Zurich)
ISBN/EAN: 9783540483328
ISBN - alternative Schreibweisen:
978-3-540-48332-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: mayr ernst, wagner ernst, klaus wagner
Daten vom Verlag:
Autor/in: Patrice Enjalbert; Ernst W. Mayr; Klaus W. Wagner
Titel: Lecture Notes in Computer Science; STACS 94 - 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings
Verlag: Springer; Springer Berlin
786 Seiten
Erscheinungsjahr: 2005-06-30
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIV, 786 p. 9 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Bisimulation; Computer-Science-Logik; Kombinatorik; Komplexität; Monoid; automata; combinatorics; complexity; complexity theory; computer science logic; efficient algorithms; effiziente Algorithmen; information theory; logic; parallel algorithms; algorithm analysis and problem complexity; C; Theory of Computation; Algorithms; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Programming Techniques; Computer Science; Algorithmen und Datenstrukturen; Computerprogrammierung und Softwareentwicklung; BC
The nature and meaning of perturbations in geometric computing.- One binary horn clause is enough.- Transforming constraint logic programs.- A hierarchy of temporal logics with past.- The complexity of resource-bounded first-order classical logic.- Two proof procedures for a cardinality based language in propositional calculus.- The alternation hierarchy for machines with sublogarithmic space is infinite.- Quasilinear time complexity theory.- Space-efficient deterministic simulation of probabilistic automata.- Reachability and the power of local ordering.- Are parallel machines always faster than sequential machines?.- Ground reducibility and automata with disequality constraints.- Perpetuality and strong normalization in orthogonal term rewriting systems.- About changing the ordering during Knuth-Bendix completion.- Combination of matching algorithms.- Periodic constant depth sorting networks.- Optimal pattern matching on meshes.- Faster sorting and routing on grids with diagonals.- Deterministic 1 -k routing on meshes with applications to worm-hole routing.- A unifying type-theoretic framework for objects.- Operational specifications with built-ins.- Reactive variables for system specification and design.- A new parallel vector model, with exact characterization of NCk.- On adaptive dlogtime and polylogtime reductions.- NCk(NP)=AC k?1(NP).- Hypertransition systems.- On the star operation and the finite power property in free partially commutative monoids.- Coding with traces.- Monadic second-order logic over pictures and recognizability by tiling systems.- Q-grammars: Results, implementation.- A topology for complete semirings.- The global power of additional queries to random oracles.- Cook versus Karp-Levin: Separating completeness notions if NP is not small.- Onsets bounded truth-table reducible to P-selective sets.- Two refinements of the polynomial hierarchy.- On different reducibility notions for function classes.- Optimal parallelization of Las Vegas algorithms.- Efficient parallel algorithms for geometric k-clustering problems.- A simple optimal parallel algorithm for reporting paths in a tree.- Parallel detection of all palindromes in a string.- On the structure of parameterized problems in NP.- On the approximability of finding maximum feasible subsystems of linear systems.- On the acceptance power of regular languages.- Complexity classes with finite acceptance types.- The complete axiomatization of Cs-congruence.- Transition system specifications in stalk format with bisimulation as a congruence.- Decidability questions for bisimilarity of Petri nets and some related problems.- The variable membership problem: Succinctness versus complexity.- Economy of description for single-valued transducers.- Automaticity: Properties of a measure of descriptional complexity.- Towards a theory of recursive structures.- Finding minimal generalizations for unions of pattern languages and its application to inductive inference from positive data.- Nondeterminism in patterns.- Upper bounds for the expected length of a longest common subsequence of two binary sequences.- The ambiguity of primitive words.- On codes having no finite completion.- A new approach to information theory.- On Voronoi diagrams in the L p -metric in higher dimensions.- Total protection of analytic invariant information in cross tabulated tables.- Dominating cliques in graphs with hypertree structure.- On vertex ranking for permutation and other graphs.- Finding all minimal separators of a graph.- On the complexity of the maximum cut problem.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540577850 STACS 94 (Patrice Enjalbert; Ernst W. Mayr; Klaus W. Wagner)
- 9783540577850 STACS 94 (Patrice Enjalbert; Ernst W. Mayr; Klaus W. Wagner)
- 9780387537092 Stacs, 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14-16, 1991 (Lecture Notes in Computer Science) (C. Choffrut, M. Jantzen)
- 9780387552101 Stacs 92: 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : Proceedings (Lecture Notes in Computer Science) (Finkel, A)
- 9780387522821 Language Policy and Modernity in Southeast Asia (Lecture Notes in Computer Science) (Antonio L. Rappa, Lionel Wee Hock An)
- [(STACS 2003: v. 2607: 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. Proceedings)] [by: Helmut Alt] (Helmut Alt)
< zum Archiv...