Artificial and Mathematical Theory of Computation
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780124500105

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Algebraic Computation: The Quiet Revolution

Artificial and Mathematical Theory of Computation ◽

10.1016/b978-0-12-450010-5.50016-5 ◽

1991 ◽

pp. 177-186 ◽

Cited By ~ 1

Author(s):

Anthony C. Hearn

Keyword(s):

Algebraic Computation ◽

Quiet Revolution

Download Full-text

Front Matter

Artificial and Mathematical Theory of Computation ◽

10.1016/b978-0-12-450010-5.50002-5 ◽

1991 ◽

pp. iii

Download Full-text

Proofs of Termination and the “91” Function

Artificial and Mathematical Theory of Computation ◽

10.1016/b978-0-12-450010-5.50009-8 ◽

1991 ◽

pp. 47-63 ◽

Cited By ~ 1

Author(s):

Solomon Feferman

Download Full-text

On the Equivalence of Data Representations

Artificial and Mathematical Theory of Computation ◽

10.1016/b978-0-12-450010-5.50023-2 ◽

1991 ◽

pp. 305-329 ◽

Cited By ~ 19

Author(s):

John C. Mitchell

Keyword(s):

Data Representations

Download Full-text

Preface

Artificial and Mathematical Theory of Computation ◽

10.1016/b978-0-12-450010-5.50004-9 ◽

1991 ◽

pp. ix

Author(s):

Vladimir Lifschitz

Download Full-text

The Design of Parallel Programming Languages

Artificial and Mathematical Theory of Computation ◽

10.1016/b978-0-12-450010-5.50012-8 ◽

1991 ◽

pp. 91-108

Author(s):

Richard P. Gabriel

Keyword(s):

Programming Languages ◽

Parallel Programming ◽

Parallel Programming Languages

Download Full-text

The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression

Artificial and Mathematical Theory of Computation ◽

10.1016/b978-0-12-450010-5.50026-8 ◽

1991 ◽

pp. 359-380 ◽

Cited By ~ 197

Author(s):

Raymond Reiter

Keyword(s):

Simple Solution ◽

Situation Calculus ◽

Frame Problem ◽

Completeness Result ◽

Goal Regression ◽

The Frame Problem

Download Full-text

Functional Instantiation in First-Order Logic

Artificial and Mathematical Theory of Computation ◽

10.1016/b978-0-12-450010-5.50007-4 ◽

1991 ◽

pp. 7-26 ◽

Cited By ~ 21

Author(s):

Robert S. Boyer ◽

David M. Goldschlag ◽

Matt Kaufmann ◽

J. Strother Moore

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

Logicism, AI, and Common Sense: John McCarthy's Program in Philosophical Perspective

Artificial and Mathematical Theory of Computation ◽

10.1016/b978-0-12-450010-5.50031-1 ◽

1991 ◽

pp. 449-466 ◽

Cited By ~ 2

Author(s):

Richmond H. Thomason

Keyword(s):

Common Sense ◽

Philosophical Perspective

Download Full-text

Varieties of Context

Artificial and Mathematical Theory of Computation ◽

10.1016/b978-0-12-450010-5.50028-1 ◽

1991 ◽

pp. 393-407 ◽

Cited By ~ 14

Author(s):

Yoav Shoham

Download Full-text

Artificial and Mathematical Theory of ComputationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Algebraic Computation: The Quiet Revolution

Front Matter

Proofs of Termination and the “91” Function

On the Equivalence of Data Representations

Preface

The Design of Parallel Programming Languages

The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression

Functional Instantiation in First-Order Logic

Logicism, AI, and Common Sense: John McCarthy's Program in Philosophical Perspective

Varieties of Context

Artificial and Mathematical Theory of Computation
Latest Publications