TEUBNER-TEXTE zur Informatik - Informatik
Latest Publications

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Vieweg+Teubner Verlag

9783815420331, 9783322952332

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Decision Making in the Presence of Noise

TEUBNER-TEXTE zur Informatik - Informatik ◽

10.1007/978-3-322-95233-2_9 ◽

1992 ◽

pp. 145-168

Author(s):

Michael J. Fischer ◽

Sophia A. Paleologou

Keyword(s):

Decision Making

Download Full-text

Complexity Measures on Permutations

TEUBNER-TEXTE zur Informatik - Informatik ◽

10.1007/978-3-322-95233-2_6 ◽

1992 ◽

pp. 81-94

Author(s):

Volker Claus

Keyword(s):

Complexity Measures

Download Full-text

Inductive Theorem Proving by Consistency for First-Order Clauses

TEUBNER-TEXTE zur Informatik - Informatik ◽

10.1007/978-3-322-95233-2_27 ◽

1992 ◽

pp. 441-461 ◽

Cited By ~ 2

Author(s):

Harald Ganzinger ◽

Jürgen Stuber

Keyword(s):

Theorem Proving ◽

First Order ◽

Inductive Theorem Proving

Download Full-text

Communication Complexity and Lower Bounds for Sequential Computation

TEUBNER-TEXTE zur Informatik - Informatik ◽

10.1007/978-3-322-95233-2_15 ◽

1992 ◽

pp. 253-268 ◽

Cited By ~ 2

Author(s):

Bala Kalyanasundaram ◽

Georg Schnitger

Keyword(s):

Lower Bounds ◽

Communication Complexity ◽

Sequential Computation

Download Full-text

Randomized Incremental Construction of Abstract Voronoi Diagrams

TEUBNER-TEXTE zur Informatik - Informatik ◽

10.1007/978-3-322-95233-2_17 ◽

1992 ◽

pp. 283-308 ◽

Cited By ~ 1

Author(s):

Rolf Klein ◽

Kurt Mehlhorn ◽

Stefan Meiser

Keyword(s):

Voronoi Diagrams ◽

Randomized Incremental Construction ◽

Incremental Construction

Download Full-text

Verteilung der Nullstellen von Polynomen auf Jordanbögen

TEUBNER-TEXTE zur Informatik - Informatik ◽

10.1007/978-3-322-95233-2_4 ◽

1992 ◽

pp. 55-67

Author(s):

Hans-Peter Blatt

Download Full-text

Ähnlichkeit von Grammatiken — Ansätze und Erfahrungen

TEUBNER-TEXTE zur Informatik - Informatik ◽

10.1007/978-3-322-95233-2_3 ◽

1992 ◽

pp. 41-53

Author(s):

Eberhard Bertsch

Download Full-text

Derivation of High Quality Tests for Large Heterogeneous Circuits: Floating-Point Operations

TEUBNER-TEXTE zur Informatik - Informatik ◽

10.1007/978-3-322-95233-2_26 ◽

1992 ◽

pp. 425-439

Author(s):

Uwe Sparmann

Keyword(s):

Floating Point ◽

High Quality

Download Full-text

Durch kinematische Szenen erzeugte topologische Räume

TEUBNER-TEXTE zur Informatik - Informatik ◽

10.1007/978-3-322-95233-2_22 ◽

1992 ◽

pp. 363-380

Author(s):

Jürgen Seilen

Download Full-text

A Hierarchy Preserving Hierarchical Bottom-Up 2-layer Wiring Algorithm with Respect to Via Minimization

TEUBNER-TEXTE zur Informatik - Informatik ◽

10.1007/978-3-322-95233-2_19 ◽

1992 ◽

pp. 333-348

Author(s):

Paul Molitor

Keyword(s):

Bottom Up

Download Full-text