Mining counterexamples for wide-signature algebras with an Isabelle server

CICM'22 System Entries

P Koepke, A Lorenzen, B Shminke - International Conference on …, 2022 - Springer
CICM’22 System Entries Page 1 CICM’22 System Entries Peter Koepke1, Anton Lorenzen1(B),
and Boris Shminke2 1 University of Bonn, Bonn, Germany anfelor@posteo.de 2 Laboratoire …
Salva Cita Citato da 1 Articoli correlati Tutte e 3 le versioni