Skip to main content

1 Result(s)

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

and

  1. No Access

    Chapter and Conference Paper

    A Tableau Calculus for Partial Functions

    Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions usi...

    Manfred Kerber, Michael Kohlhase in Collegium Logicum (1996)