There is no fulltext present in this item.

Find Full text  
Title: The Syntactic Continuity Property: A computer verified proof
Author(s): Smetsers, S.
Publication year: 2010
In: Majkic, Z. (ed.), Proceedings of the International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS10), pp. 135-142
Publisher: Orlando, FL, USA : ISRST
Annotation: TMFCS10
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/83937   https://hdl.handle.net/2066/83937

Display more details
Editor(s): Majkic, Z.
Subject: Digital Security
Organization: Software Science
Book title: Majkic, Z. (ed.), Proceedings of the International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS10)
Page start: p. 135
Page end: p. 142

This item appears in the following Collection(s)

Browse

Statistics