WinKE Home

Papers on WinKE and KE

The following list of papers is didvided into papers related to the WinKE software, papers related to the KE calculus, and papers related to proof procedures for KE. Some of them can be downloaded. They are all either PDF or zipped Postscript files (use Ghostview to read the latter).

Papers related to the WinKE Software:

Papers related to the KE Calculus:

Papers related to Proof Procedures for KE:

last modified on Monday, 06-Nov-2017 23:15:02 CETby Ulle Endriss