HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:witness-manipulation

Publications
Who Needs Category Theory?
Andreas Blass and Yuri Gurevich
In:ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia
Copyright © 2012-2025 easychair.org. All rights reserved.