Logic of Computation
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642638329, 9783642590481

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proofs, Lambda Terms and Control Operators

Logic of Computation ◽

10.1007/978-3-642-59048-1_9 ◽

1997 ◽

pp. 309-347 ◽

Cited By ~ 1

Author(s):

Helmut Schwichtenberg

Keyword(s):

And Control ◽

Control Operators

Download Full-text

Lectures on Semantics: The Initial Algebra and Final Coalgebra Perspectives

Logic of Computation ◽

10.1007/978-3-642-59048-1_1 ◽

1997 ◽

pp. 1-33 ◽

Cited By ~ 1

Author(s):

Peter Aczel

Keyword(s):

Initial Algebra

Download Full-text

Some Proof Theory of First Order Logic Programming

Logic of Computation ◽

10.1007/978-3-642-59048-1_6 ◽

1997 ◽

pp. 201-228

Author(s):

Gerhard Jäger

Keyword(s):

Logic Programming ◽

Proof Theory ◽

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

Timed Rewriting Logic for the Specification of Time-Sensitive Systems

Logic of Computation ◽

10.1007/978-3-642-59048-1_7 ◽

1997 ◽

pp. 229-264 ◽

Cited By ~ 1

Author(s):

Piotr Kosiuczenko ◽

Martin Wirsing

Keyword(s):

Rewriting Logic

Download Full-text

Axiomatisations, Proofs, and Formal Specifications of Algorithms: Commented Case Studies in the Coq Proof Assistant

Logic of Computation ◽

10.1007/978-3-642-59048-1_5 ◽

1997 ◽

pp. 157-199 ◽

Cited By ~ 1

Author(s):

Gérard Huet

Keyword(s):

Case Studies ◽

Formal Specifications ◽

Proof Assistant ◽

The Coq Proof Assistant ◽

Coq Proof Assistant

Download Full-text

Introduction to Groebner Bases

Logic of Computation ◽

10.1007/978-3-642-59048-1_2 ◽

1997 ◽

pp. 35-66 ◽

Cited By ~ 3

Author(s):

Bruno Buchberger

Keyword(s):

Groebner Bases

Download Full-text

Logic Programming and Meta-Logic

Logic of Computation ◽

10.1007/978-3-642-59048-1_8 ◽

1997 ◽

pp. 265-308

Author(s):

Dale Miller

Keyword(s):

Logic Programming

Download Full-text

The Structure of Nuprl’s Type Theory

Logic of Computation ◽

10.1007/978-3-642-59048-1_4 ◽

1997 ◽

pp. 123-155 ◽

Cited By ~ 5

Author(s):

Robert L. Constable

Keyword(s):

Type Theory

Download Full-text

Basic Proof Theory with Applications to Computation

Logic of Computation ◽

10.1007/978-3-642-59048-1_10 ◽

1997 ◽

pp. 349-394 ◽

Cited By ~ 1

Author(s):

Stanley S. Wainer

Keyword(s):

Proof Theory

Download Full-text

Bounded Arithmetic and Propositional Proof Complexity

Logic of Computation ◽

10.1007/978-3-642-59048-1_3 ◽

1997 ◽

pp. 67-121 ◽

Cited By ~ 6

Author(s):

Samuel R. Buss

Keyword(s):

Proof Complexity ◽

Bounded Arithmetic ◽

Propositional Proof Complexity ◽

Propositional Proof

Download Full-text