Cones, Negation, and All That

Özgür Lütfü Özçep*, Mena Leemhuis, Diedrich Wolter

*Corresponding author for this work

Fingerprint

Dive into the research topics of 'Cones, Negation, and All That'. Together they form a unique fingerprint.

Computer Science