A constructive algebraic hierarchy in Coq.

From MaRDI portal

Revision as of 16:01, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1404425

Jump to:navigation, search

DOI10.1006/JSCO.2002.0552zbMATH Open1038.68108OpenAlexW2013140497MaRDI QIDQ1404425

Author name not available (Why is that?)

Publication date: 21 August 2003

Published in: (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2066/104042

Mathematics Subject Classification ID

No records found.

This page was built for publication: A constructive algebraic hierarchy in Coq.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1404425)

Retrieved from "https://mardi.schubotz.org/w/index.php?title=Publication:1404425&oldid=13561927"