A First Order System with Finite Choice of Premises

K Bruennler, A Guglielmi

Research output: Chapter or section in a book/report/conference proceeding › Chapter or section

Fingerprint

Dive into the research topics of 'A First Order System with Finite Choice of Premises'. Together they form a unique fingerprint.

Mathematics