Skip to main content

1 Result(s)

within Mathematical Logic and Formal Languages Remove this filter Programming Techniques Remove this filter Michael Kohlhase Remove this filter Chapter Remove this filter

and
Your search also matched 4 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

Discourse Phenomena in Mathematical Documents

Include preview-only content

  1. Chapter and Conference Paper

    Logic-Independent Proof Search in Logical Frameworks

    Logical frameworks like LF allow to specify the syntax and (natural deduction) inference rules for syntax/proof-checking a wide variety of logical systems. A crucial feature that is missing for prototy** log...

    Michael Kohlhase, Florian Rabe, Claudio Sacerdoti Coen… in Automated Reasoning (2020)

    Download PDF (206 KB) View Chapter