Filter
Conference abstract in proceeding

Search results

  • Conference abstract in proceeding

    Towards a Formal Occurrence Logic based on Predicate Logic

    Badie, F. & Götzsche, H., 1 Aug 2015, CLMPS and LC 2015: Book of Abstracts.

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