Frontiers of Combining Systems

DOI10.1007/11559306zbMath1171.68712OpenAlexW4205914269MaRDI QIDQ5491905

Thierry Coquand, Andreas Abel, Ulf Norell

Publication date: 10 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11559306

Mathematics Subject Classification ID

Related Items (2)

Hammer for Coq: automation for dependent type theory ⋮ Sort It Out with Monotonicity

Uses Software

• Metis_
• Gandalf

This page was built for publication: Frontiers of Combining Systems