Author: "Constable, Robert L." / Publisher: elsevier b.v. - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Constable, Robert L."' showing total 4 results

Start Over Author "Constable, Robert L." Publisher elsevier b.v.

4 results on '"Constable, Robert L."'

1. EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems

Author: Rahli, Vincent, Guaspari, David, Bickford, Mark, and Constable, Robert L.
Published: 2017
Full Text: View/download PDF

2. Computability concepts for programming language semantics

Author: Egli, Herbert and Constable, Robert L.
Published: 1976
Full Text: View/download PDF

3. Computational foundations of basic recursive function theory

Author: Constable, Robert L. and Smith, Scott F.
Published: 1993
Full Text: View/download PDF

4. Programs as proofs: a synopsis

Author: Constable, Robert L.
Published: 1983
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results