Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Logical Methods

Logical Methods

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780817636906
Condition
New
Product Description

The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a retrospective view of Nerode's work. A number of specific areas are readily discerned: recursive equivalence types, recursive algebra and model theory, the theory of Turing degrees and r.e. sets, polynomial-time computability and computer science. Nerode began with automata theory and has also taken a keen interest in the history of mathematics. All these areas are represented. The one area missing is Nerode's applied mathematical work relating to the environment. Kozen's paper builds on Nerode's early work on automata. Recursive equivalence types are covered by Dekker and Barback, the latter using directly a fundamental metatheorem of Nerode. Recursive algebra is treated by Ge & Richards (group representations). Recursive model theory is the subject of papers by Hird, Moses, and Khoussainov & Dadajanov, while a combinatorial problem in recursive model theory is discussed in Cherlin & Martin's paper. Cenzer presents a paper on recursive dynamics.

Available Colors
Available Sizes
1 Offer Price Range: $44.99 - $44.99
BEST PRICE

Single Product Purchase

$44.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$44.99 $44.99

$44.99
See Site In stock Visit Store

Similar Products

Semiconductor Nanocrystals

$169.99

National Geographic Kids Animal Encyclopedia 2nd edition- 2,500 Animals with Photos, Maps, and More by National Geographic

$24.99

Kartellrechtliche Bewertung von Standardisierungsstrategien

$69.99

Sovereignty and Interpretation of International Norms

$169.99

Otto Hahn/Lise Meitner

$59.99

Implementation von Gerichtsentscheidungen

$69.95

Electric Power Engineering

$169.99

Merapi Volcano

$169.99

Hemoglobin Disorders

$84.99

Requirements in Engineering Projects

$54.99

Recent Advances in Parallel Virtual Machine and Message Passing Interface

$109.99

Ein Laboratorium der Moderne

$29.99

Mathematical Methods in Time Series Analysis and Digital Image Processing

$84.99

Scientific and Statistical Database Management

$39.99

Grundlagen - Methoden - Anwendungen in den Sozialwissenschaften

$64.99

Braunkohlesanierung

$199.99

Introduction to Hardware Security and Trust

$179.99

Systems, Software and Services Process Improvement

$39.99

Optical and Electrical Properties of Nanoscale Materials

$139.00

ber die Wirkung des -bestrahlten d-Arginins auf die Oxydationslage

$49.99

The Structuring of Experience

$39.99

Testmanagement und Softwaretest

$34.99

Advanced Imaging Techniques in Clinical Pathology

$54.99

Coercive and Discursive Compliance Mechanisms in the Management of Natural Resources

$84.99

Of Microbes and Art

$84.99

Biofilm Matrix

$219.99

Wrterbuch der Psychotherapie

$119.99

Information Processing with Evolutionary Algorithms

$129.00

Database Programming Languages

$39.99

Spectroscopy of Biological Molecules

$169.00

Tractor-Implement Systems

$39.99

White on Black in South Africa

$109.99

Probleme in der Transfusionsmedizin

$17.99

Strategisches Akquisitionsmanagement im Konzern

$44.99

Housing Market Response to Sea-Level Rise in Florida

$129.99

Cognitive and Behavioral Interventions in the Schools

$39.99

Risk, Shocks, and Human Development

$39.99

Unternehmungsberichterstattung zur Fundierung von Anteilseignerentscheidungen

$69.99

Economic and Financial Crime, Sustainability and Good Governance

$219.99

Artificial Intelligence and Smart Vehicles

$79.99