A constructive algebraic hierarchy in Coq

Thumbnail Image

Date

2002

Authors

Geuvers, J.H. Herman
Pollack, R.
Wiedijk, F. Freek
Zwanenburg, J.

Journal Title

Journal ISSN

Volume Title

Publisher

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

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

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By