Logic, Algebra, and Computation
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642768019, 9783642767999

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reflecting the Open-Ended Computation System of Constructive Type Theory

Logic, Algebra, and Computation ◽

10.1007/978-3-642-76799-9_7 ◽

1991 ◽

pp. 265-280 ◽

Cited By ~ 1

Author(s):

Robert L. Constable ◽

Stuart F. Allen ◽

Douglas J. Howe

Keyword(s):

Type Theory ◽

Constructive Type Theory ◽

Constructive Type

Download Full-text

Computability — Logical and Recursive Complexity

Logic, Algebra, and Computation ◽

10.1007/978-3-642-76799-9_6 ◽

1991 ◽

pp. 237-264 ◽

Cited By ~ 1

Author(s):

Stanley S. Wainer

Download Full-text

The Family of Concurrent Logic Programming Languages

Logic, Algebra, and Computation ◽

10.1007/978-3-642-76799-9_10 ◽

1991 ◽

pp. 359-485 ◽

Cited By ~ 1

Author(s):

Ehud Shapiro

Keyword(s):

Logic Programming ◽

Programming Languages ◽

Concurrent Logic Programming ◽

The Family ◽

Logic Programming Languages

Download Full-text

Notes on resolution

Logic, Algebra, and Computation ◽

10.1007/978-3-642-76799-9_3 ◽

1991 ◽

pp. 109-151

Author(s):

J. A. Robinson

Download Full-text

Formal Approaches to Concurrency

Logic, Algebra, and Computation ◽

10.1007/978-3-642-76799-9_9 ◽

1991 ◽

pp. 335-358

Author(s):

Wilfried Brauer

Download Full-text

Normalization

Logic, Algebra, and Computation ◽

10.1007/978-3-642-76799-9_5 ◽

1991 ◽

pp. 201-235 ◽

Cited By ~ 1

Author(s):

Helmut Schwichtenberg

Download Full-text

Fundamentals of Deductive Program Synthesis

Logic, Algebra, and Computation ◽

10.1007/978-3-642-76799-9_2 ◽

1991 ◽

pp. 41-107 ◽

Cited By ~ 1

Author(s):

Zohar Manna ◽

Richard Waldinger

Keyword(s):

Program Synthesis ◽

Deductive Program Synthesis

Download Full-text

Theory of Computation and Specification over Abstract Data Types, and its Applications

Logic, Algebra, and Computation ◽

10.1007/978-3-642-76799-9_1 ◽

1991 ◽

pp. 1-39 ◽

Cited By ~ 7

Author(s):

J. V. Tucker

Keyword(s):

Theory Of Computation ◽

Abstract Data Types ◽

Data Types ◽

Abstract Data

Download Full-text

Some Lectures on Modal Logic

Logic, Algebra, and Computation ◽

10.1007/978-3-642-76799-9_8 ◽

1991 ◽

pp. 281-334 ◽

Cited By ~ 5

Author(s):

Anil Nerode

Keyword(s):

Modal Logic

Download Full-text

Introduction au λ-calcul pur

Logic, Algebra, and Computation ◽

10.1007/978-3-642-76799-9_4 ◽

1991 ◽

pp. 153-200 ◽

Cited By ~ 2

Author(s):

Gérard Huet

Download Full-text