A logical framework with explicit conversions

Thumbnail Image

Files

Primary 72702.pdf (283.88 KB)

Date

2008

Authors

Geuvers, J.H. Herman
Wiedijk, F. Freek

Journal Title

Journal ISSN

Volume Title

Publisher

Amsterdam : Elsevier

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

ENTCS

Citation

URI

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

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By