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

$40.50
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$40.50
See Site In stock Visit Store

Similar Products

From Reaction to Cognition

$39.99

Reviews of Environmental Contamination and Toxicology Volume 236

$84.99

Betriebswirtschaftliche Input-Output-Modelle

$59.99

Molecular Design and Bioorganic Catalysis

$169.99

Untersuchungen an brstenlosen Gleichstrommotoren mit einstrngiger Stnderwicklung im Leistungsbere

$59.99

Monetarism and the Demise of Keynesian Economics

$84.99

Klner Papyri

$59.99

Algorithms - ESA '95

$84.99

Coherent Control in Atoms, Molecules, and Semiconductors

$109.99

India's Saudi Policy

$54.99

Die Aufteilung der verbrennlichen Bestandteile in Verbrennungsgasen auf CO und H2 bei Verbrennung mi

$54.99

Computer Vision, Imaging and Computer Graphics Theory and Applications

$39.99

Special Delivery

$4.46

Molecular Diagnostic PCR Handbook

$249.99

Participatory Biodiversity Conservation

$139.00

Design, Production and Placement of Self-Consolidating Concrete

$259.00

Persian Paradises at Peril

$109.99

General Principles of Thai Private Law

$139.99

Guidebook for Radiography

$99.99

How to Examine the Nervous System

$84.99

Table Olives

$219.99

Fractal Image Encoding and Analysis

$219.99

Nationalism, Transnationalism, and Political Islam

$19.99

Essential Plant Nutrients

$219.00

Arithmetische Funktionen

$39.99

Handbuch Methoden der Politikwissenschaft

$119.00

Architectures of Small-Cell Networks and Interference Management

$54.99

Philosophical Works of Peter Chaadaev

$79.99

Legal Traditions, Legal Reforms and Economic Performance

$119.99

A Theory of Housing Provision under Capitalism

$109.00

Kommunale Benutzungsgebhren

$74.99

Methods in Membrane Biology

$39.99

Controlling

$39.99

First Light in the Universe

$99.00

Lifelong Action Learning for Community Development

$49.99

Traffic Grooming for Optical Networks

$129.00

Economic Growth, Low Income and Housing in South Korea

$109.99

HCI International 2020 Late Breaking Papers: Virtual and Augmented Reality

$39.99

Tantrasagraha of Nlakaha Somayj

$109.99

Open Hypermedia Systems and Structural Computing

$39.99