Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning

Giles Reger, Andrei Voronkov, Martin Suda

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

116 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning'. Together they form a unique fingerprint.

Computer Science