A Prototype Dedicated Theorem Prover for Clean

Thumbnail Image

Files

Primary 107659.pdf (205.79 KB)

Date

1998

Authors

Mol, M.J. Maarten
Eekelen, M.C.J.D. Marko

Journal Title

Journal ISSN

Volume Title

Publisher

Nijmegen : Computing Science Institute

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Technical Report

Citation

URI

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

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By