Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 12.08.2026 auf fremdsprachige Bücher online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.
  • Produktbild: Computation Theory and Logic
  • Produktbild: Computation Theory and Logic
Band 270

Computation Theory and Logic In Memory of Dieter Rötting. On the Occasion of the 50th Anniversary of His Birth

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.07.1987

Herausgeber

Egon Börger

Verlag

Springer Berlin

Seitenzahl

442

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

734 g

Auflage

1987

Sprache

Englisch

ISBN

978-3-540-18170-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.07.1987

Herausgeber

Egon Börger

Verlag

Springer Berlin

Seitenzahl

442

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

734 g

Auflage

1987

Sprache

Englisch

ISBN

978-3-540-18170-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Computation Theory and Logic
  • Produktbild: Computation Theory and Logic
  • Minimal pairs for polynomial time reducibilities.- Primitive recursive word-functions of one variable.- Existential fixed-point logic.- Unsolvable decision problems for PROLOG programs.- You have not understood a sentence, unless you can prove it.- On the minimality of K, F, and D or: Why löten is non-trivial.- A 5-color-extension-theorem.- Closure relations, Buchberger's algorithm, and polynomials in infinitely many variables.- The benefit of microworlds in learning computer programming.- Skolem normal forms concerning the least fixpoint.- Spectral representation of recursively enumerable and coenumerable predicates.- Aggregating inductive expertise on partial recursive functions.- Domino threads and complexity.- Modelling of cooperative processes.- A setting for generalized computability.- First-order spectra with one variable.- On the early history of register machines.- Randomness, provability, and the separation of Monte Carlo Time and space.- Representation independent query and update operations on propositional definite Horn formulas.- Direct construction of mutually orthogonal latin squares.- Negative results about the length problem.- Some results on the complexity of powers.- The Turing complexity of AF C*-algebras with lattice-ordered KO.- Remarks on SASL and the verification of functional programming languages.- Numerical stability of simple geometric algorithms in the plane.- Communication with concurrent systems via I/0-procedures.- A class of exp-time machines which can be simulated by polytape machines.- ???-Automata realizing preferences.- Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen.- Grammars for terms and automata.- Relative konsistenz.- Segment translation systems.- First steps towards a theory of complexity over more general data structures.- On the power of single-valued nondeterministic polynomial time computations.- A concatenation game and the dot-depth hierarchy.- Do there exist languages with an arbitrarily small amount of context-sensitivity?.- The complexity of symmetric boolean functions.