Computational Logic
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642636707, 9783642586224

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Meaning of Logical Rules I: Syntax Versus Semantics

Computational Logic ◽

10.1007/978-3-642-58622-4_7 ◽

1999 ◽

pp. 215-272 ◽

Author(s):

Jean-Yves Girard

Keyword(s):

Download Full-text

Problems in Type Theory

Computational Logic ◽

10.1007/978-3-642-58622-4_3 ◽

1999 ◽

pp. 99-111

Author(s):

Henk Barendregt

Keyword(s):

Download Full-text

Research Directions in Rewriting Logic

Computational Logic ◽

10.1007/978-3-642-58622-4_10 ◽

1999 ◽

pp. 347-398 ◽

Author(s):

José Meseguer

Keyword(s):

Rewriting Logic ◽

Research Directions

Download Full-text

Formal Correctness Proofs of Functional Programs: Dijkstra’s Algorithm, a Case Study

Computational Logic ◽

10.1007/978-3-642-58622-4_4 ◽

1999 ◽

pp. 113-126

Author(s):

Holger Benl ◽

Helmut Schwichtenberg

Keyword(s):

Dijkstra’S Algorithm ◽

Correctness Proofs ◽

Dijkstra's Algorithm

Download Full-text

Complexity of Primitive Recursion

Computational Logic ◽

10.1007/978-3-642-58622-4_8 ◽

1999 ◽

pp. 273-300 ◽

Author(s):

W. G. Handley ◽

S. S. Wainer

Keyword(s):

Primitive Recursion

Download Full-text

Game Semantics

Computational Logic ◽

10.1007/978-3-642-58622-4_1 ◽

1999 ◽

pp. 1-55 ◽

Author(s):

Samson Abramsky ◽

Guy McCusker

Keyword(s):

Download Full-text

Formalizing Decidability Theorems About Automata

Computational Logic ◽

10.1007/978-3-642-58622-4_6 ◽

1999 ◽

pp. 179-213

Author(s):

Robert L. Constable

Download Full-text

Computers, Reasoning and Mathematical Practice

Computational Logic ◽

10.1007/978-3-642-58622-4_9 ◽

1999 ◽

pp. 301-346 ◽

Author(s):

Ursula Martin

Keyword(s):

Mathematical Practice

Download Full-text

Notes on the Simply Typed Lambda Calculus

Computational Logic ◽

10.1007/978-3-642-58622-4_2 ◽

1999 ◽

pp. 57-97 ◽

Author(s):

Peter Aczel

Keyword(s):

Lambda Calculus ◽

Typed Lambda Calculus

Download Full-text

Sequent Calculus and the Specification of Computation

Computational Logic ◽

10.1007/978-3-642-58622-4_11 ◽

1999 ◽

pp. 399-444 ◽

Author(s):

Dale Miller

Keyword(s):

Sequent Calculus

Download Full-text