The Syntactic Continuity Property: A computer verified proof

Thumbnail Image

Date

2010

Authors

Smetsers, J.E.W. Sjaak

Journal Title

Journal ISSN

Volume Title

Publisher

Orlando, FL, USA : ISRST

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/83937

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By