Volume 312; Issue 1522

Main
Philosophical Transactions of the Royal Society of London...
Volume 312; Issue 1522

Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)

Volume 312; Issue 1522

1

Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || Front Matter

Journal:

Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)

Year:

1984

Language:

english

File:

PDF, 295 KB

english, 1984

2

Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || The Relation between Logic Programming and Logic Specification [and Discussion]

R. Kowalski, M. A. Jackson, M. J. Rogers, J. C. Shepherdson, D. Sannella and M. M. Lehman

Journal:

Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)

Year:

1984

Language:

english

File:

PDF, 1.76 MB

english, 1984

3

Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || Functional Programs as Executable Specifications [and Discussion]

D. A. Turner, J. Fairbairn, D. Park, P. Wadler, B. A. Wichmann and M. H. Rogers

Journal:

Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)

Year:

1984

Language:

english

File:

PDF, 3.23 MB

english, 1984

4

Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || Mechanical Proofs about Computer Programs [and Discussion]

D. I. Good and B. A. Wichmann

Journal:

Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)

Year:

1984

Language:

english

File:

PDF, 2.56 MB

english, 1984

5

Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || The Use of Machines to Assist in Rigorous Proof [and Discussion]

R. Milner and R. S. Bird

Journal:

Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)

Year:

1984

Language:

english

File:

PDF, 1.40 MB

english, 1984

6

Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || The Characterization Problem for Hoare Logics [and Discussion]

E. M. Clarke, P. Aczel, J. V. Tucker and J. C. Shepherdson

Journal:

Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)

Year:

1984

Language:

english

File:

PDF, 2.41 MB

english, 1984

7

Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || Deductive Learning [and Discussion]

L. G. Valiant and J. C. Shepherdson

Journal:

Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)

Year:

1984

Language:

english

File:

PDF, 865 KB

english, 1984

8

Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || Programming as a Mathematical Exercise [and Discussion]

J. R. Abrial, J. C. Shepherdson, J. S. Hillmore and R. L. Constable

Journal:

Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)

Year:

1984

Language:

english

File:

PDF, 2.68 MB

english, 1984

9

Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || Programs are Predicates [and Discussion]

C. A. R. Hoare and F. K. Hanna

Journal:

Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)

Year:

1984

Language:

english

File:

PDF, 1.55 MB

english, 1984

10

Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || Invariance and Non-Determinacy [and Discussion]

E. W. Dijkstra, R. S. Bird, M. H. Rogers and O.-J. Dahl

Journal:

Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)

Year:

1984

Language:

english

File:

PDF, 1.02 MB

english, 1984

11

Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || Constructive Mathematics and Computer Programming [and Discussion]

P. Martin-Lof and Z. A. Lozinski

Journal:

Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)

Year:

1984

Language:

english

File:

PDF, 1.57 MB

english, 1984

12

Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || Back Matter

Journal:

Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)

Year:

1984

Language:

english

File:

PDF, 64 KB

english, 1984

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Tor version

Z-Library

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски