Towards a Formal Occurrence Logic based on Predicate Logic

Research output: Contribution to book/anthology/report/conference proceedingConference abstract in proceedingResearchpeer-review

Fingerprint

Dive into the research topics of 'Towards a Formal Occurrence Logic based on Predicate Logic'. Together they form a unique fingerprint.

Earth and Planetary Sciences

Computer Science

Mathematics