Superposition for Full Higher-Order Logic

A. Bentkamp, J. Blanchette, S. Tourret, P. Vukmirović

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Fingerprint

Dive into the research topics of 'Superposition for Full Higher-Order Logic'. Together they form a unique fingerprint.

Computer Science