The Formal Reconstruction and Speedup of the Linear Time Fragment of Willard's Relational Calculus Subset

Editor(s)

Bird, Richard S. and Meertens, Lambert

Meeting Name

IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi

Department(s)

Mathematics and Statistics

Document Type

Article - Conference proceedings

Document Version

Citation

File Type

text

Language(s)

English

Rights

© 1997 Chapman & Hall, All rights reserved.

Publication Date

01 Jan 1997

This document is currently not available here.

Share

 
COinS