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

The Evolution of China's Poverty Alleviation and Development Policy (2001-2015)

$59.99

Quantum Transport in Ultrasmall Devices

$169.00

Dynamic land use/cover change modelling

$109.99

Pdagogischer Alltag und biografische Werdegnge

$29.99

Distributed Multimedia Retrieval Strategies for Scale Networked Systems

$84.99

Die Grundlagen der Einsteinschen Gravitationstheorie

$59.99

Erfolgreich verhandeln in China

$44.99

Advances in Artificial Intelligence

$54.99

Asset Intelligence through Integration and Interoperability and Contemporary Vibration Engineering T

$169.00

Family Diversity and Family Policy: Strengthening Families for Americas Children

$109.99

Sequencing Theory

$54.99

An Edgar Allan Poe Companion

$129.00

The Mediterranean Sea

$169.00

Circadian Rhythm Sleep-Wake Disorders

$139.99

Verletzungen des oberen Sprunggelenkes

$69.99

Der Intermedire Stoffwechsel

$39.99

Der Schock

$69.99

Innovations for Metropolitan Areas

$59.99

Image Analysis for Moving Organ, Breast, and Thoracic Images

$54.99

Trauma, Autism, and Neurodevelopmental Disorders

$199.99

Memories of Gustav Ichheiser

$109.99

Computer-Aided Design and VLSI Device Development

$169.99

Vegetable Production

$219.99

Practical Mathematical Optimization

$89.99

WarTalk

$109.99

Trails in Kinetic Theory

$109.00

The African Press, Civic Cynicism, and Democracy

$54.99

The Elements of Landscape Oil Painting

$22.65

Prozeautomatisierung I

$69.99

Handbuch fr die Programmierung mit LabVIEW

$44.99

Allergens and Airway Hyperreactivity

$109.99

Statistische Methodenlehre fr Wirtschaftswissenschaftler

$59.99

Reasoning in Quantum Theory

$169.99

The Craft of Scientific Presentations

$29.99

Summer School on Topological Vector Spaces

$34.99

Logikkalkle in der Informatik

$29.99

Wasser, Energie und Umwelt

$179.99

Health of People, Health of Planet and Our Responsibility

$59.99

Audio Watermark

$109.99

Ttowierung, Narzissmus und Theatralitt

$49.99