Constructive Methods in Computing Science
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642748868, 9783642748844

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Addition of Bounded Quantification and Partial Functions to A Computational Logic and Its Theorem Prover

Constructive Methods in Computing Science ◽

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

1989 ◽

pp. 95-145 ◽

Cited By ~ 5

Author(s):

Robert S. Boyer ◽

J. Strother Moore

Keyword(s):

Theorem Prover ◽

Computational Logic ◽

Partial Functions

Download Full-text

Design of Synchronization Algorithms

Constructive Methods in Computing Science ◽

10.1007/978-3-642-74884-4_13 ◽

1989 ◽

pp. 447-478 ◽

Cited By ~ 2

Author(s):

Alain J. Martin ◽

Jan L. A. van de Snepscheut

Download Full-text

Notes on an Approach to Category Theory for Computer Scientists

Constructive Methods in Computing Science ◽

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

1989 ◽

pp. 245-305 ◽

Cited By ~ 9

Author(s):

C. A. R. Hoare

Keyword(s):

Category Theory ◽

Computer Scientists

Download Full-text

Lectures on Constructive Functional Programming

Constructive Methods in Computing Science ◽

10.1007/978-3-642-74884-4_5 ◽

1989 ◽

pp. 151-217 ◽

Cited By ~ 67

Author(s):

Richard S. Bird

Keyword(s):

Functional Programming

Download Full-text

Constructive Type Theory—An Introduction

Constructive Methods in Computing Science ◽

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

1989 ◽

pp. 9-61

Author(s):

Roland C. Backhouse

Keyword(s):

Type Theory ◽

Constructive Type Theory ◽

Constructive Type

Download Full-text

Specifying Distributed Systems

Constructive Methods in Computing Science ◽

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

1989 ◽

pp. 367-395 ◽

Cited By ~ 2

Author(s):

Butler W. Lampson

Keyword(s):

Distributed Systems

Download Full-text

A computing scientist’s approach to a once-deep theorem of Sylvester’s

Constructive Methods in Computing Science ◽

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

1989 ◽

pp. 223-232 ◽

Cited By ~ 1

Author(s):

Edsger W. Dijkstra

Download Full-text

On a Problem Transmitted by Doug McIlroy

Constructive Methods in Computing Science ◽

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

1989 ◽

pp. 219-222

Author(s):

Edsger W. Dijkstra

Download Full-text

A Foundation of Parallel Programming

Constructive Methods in Computing Science ◽

10.1007/978-3-642-74884-4_12 ◽

1989 ◽

pp. 397-445 ◽

Cited By ~ 5

Author(s):

Jayadev Misra

Keyword(s):

Parallel Programming

Download Full-text

Towards a Design Methodology for Distributed Systems

Constructive Methods in Computing Science ◽

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

1989 ◽

pp. 311-365 ◽

Cited By ~ 11

Author(s):

Manfred Broy

Keyword(s):

Distributed Systems ◽

Design Methodology

Download Full-text