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.

Computer Science

Social Sciences

Mathematics