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 Friday, 17-Oct-2014 16:31:32 CESTby Ulle Endriss