Formal Theories and Software Systems: Fundamental Connections between Computer Science and Logic


by Robert L. Constable

Future Tendencies in Computer Science: Control and Applied Mathematics, A. Bensoussan and J.-P. Verjus (eds.), LNCS 653, pp. 105-127, Springer-Verlag, 1992.


Sorry, there are no downloadable files available for this document at this time.