A First-order Logic with Frames

Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'A First-order Logic with Frames'. Together they form a unique fingerprint.

Engineering & Materials Science