Computational Complexity of Logical Theories

AvJ. Ferrante,C. W. Rackoff

Häftad, Engelska, 1979

Del 718 i serien Lecture Notes in Mathematics

557 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1979-07-01
Mått:155 x 235 x 15 mm
Vikt:394 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:244
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540095019

Utforska kategorier

Matematik inom Naturvetenskap och teknik

Innehållsförteckning

and background.- Ehrenfeucht games and decision procedures.- Integer addition — An example of an Ehrenfeucht game decision procedure.- Some additional upper bounds.- Direct products of theories.- Lower bound preliminaries.- A technique for writing short formulas defining complicated properties.- A lower bound on the theories of pairing functions.- Some additional lower bounds.

Mer från samma författare

Computational Complexity of Logical Theories

C. W. Rackoff, J. Ferrante

E-bok

2006

718 kr

The Computational Complexity of Logical Theories

J. Ferrante, C. W. Rackoff

652 kr

Mer från samma serie

Del 1144

Knot Theory and Manifolds

Dale Rolfsen

Häftad, 1985

281 kr

Del 620

Moduli Theory and Classification Theory of Algebraic Varieties

H. Popp

Häftad, 1977

315 kr

Del 1788

Moduli of Families of Curves for Conformal and Quasiconformal Mappings

Alexander Vasil'ev

Häftad, 2002

501 kr

From Hahn-Banach to Monotonicity

Stephen Simons

Häftad, 2008

557 kr

Del 2070

Probabilistic Group Theory, Combinatorics, and Computing

Alla Detinko, Dane Flannery, Eamonn O'Brien

Häftad, 2013

391 kr

Del 2191

Leavitt Path Algebras

Gene Abrams, Pere Ara, Mercedes Siles Molina

Häftad, 2017

666 kr

Index and Other Useful Information

A. Dold, B. Eckmann

Häftad, 2013

557 kr

Del 1965

Geometric Properties of Banach Spaces and Nonlinear Iterations

Charles Chidume

Häftad, 2009

557 kr

Del 2229

Spectral Theory for Simply Periodic Solutions of the Sinh-Gordon Equation

Sebastian Klein

Häftad, 2018

447 kr

Del 2228

Zeta Integrals, Schwartz Spaces and Local Functional Equations

Wen-Wei Li

Häftad, 2018

502 kr

Du kanske också är intresserad av

Nyhet

L’amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Del 718

Offenbarung Und Heil in Den Nichtchristlichen Religionen?

Damian Slaczka

Häftad, 2001

590 kr

R. A. Aliev, Nodirbek Rustambekovich Yusupbekov, Janusz Kacprzyk, Witold Pedrycz, M. B. Babanli, Fahreddin M. Sadikoglu, S. M. Turabdjanov - 12th World Conference “Intelligent System for Industrial Automation” (WCIS-2022), Häftad

Del 718

12th World Conference “Intelligent System for Industrial Automation” (WCIS-2022)

R. A. Aliev, Nodirbek Rustambekovich Yusupbekov, Janusz Kacprzyk, Witold Pedrycz, M. B. Babanli, Fahreddin M. Sadikoglu, S. M. Turabdjanov

Häftad, 2024

3 085 kr

Del 718

Medieval Church Architecture

Jon Cannon

E-bok

2014

115 kr

Del 718

KOMPASS Wanderkarte 718 Lüneburger Heide 1:50.000

KOMPASS Freytag & Berndt

183 kr

Del 718

Silicon Photonics & High Performance Computing

Anurag Mishra, Anirban Basu, Vipin Tyagi

Häftad, 2017

1 139 kr

Del 718

Sexualität und Wahrheit 3. Die Sorge um sich

Michel Foucault

Häftad

248 kr

Del 718

Engineering Research Infrastructures for European Synergies

Gerard J. O’Reilly, Gian Michele Calvi

Inbunden, 2025

557 kr

Del 718

Latent Class and Latent Transition Analysis

Linda M. Collins, Stephanie T. Lanza

Inbunden, 2009

1 509 kr

Del 718

Die Laubhölzer

F W Neger, E Münch, B Huber

Inbunden, 1950

1 586 kr

Computational Complexity of Logical Theories

AvJ. Ferrante,C. W. Rackoff

Häftad, Engelska, 1979

Del 718 i serien Lecture Notes in Mathematics

557 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1979-07-01
Mått:155 x 235 x 15 mm
Vikt:394 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:244
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540095019

Utforska kategorier

Matematik inom Naturvetenskap och teknik

Innehållsförteckning

and background.- Ehrenfeucht games and decision procedures.- Integer addition — An example of an Ehrenfeucht game decision procedure.- Some additional upper bounds.- Direct products of theories.- Lower bound preliminaries.- A technique for writing short formulas defining complicated properties.- A lower bound on the theories of pairing functions.- Some additional lower bounds.