Searching for authors named "Mark Kaminski" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
A Finite Axiomatization of Propositional Type Theory in Pure Lambda Calculus
- …A Finite Axiomatization of Propositional Type Theory in Pure Lambda Calculus Mark Kaminski…
- Cited by 1 (1 self) – Add To MetaCart
-
A Minimal Propositional Type Theory
- …A Minimal Propositional Type Theory Mark Kaminski 1,2 Gert Smolka 1 July 23, 2008 Abstract…
- Add To MetaCart
-
Terminating Tableau Systems for Modal Logic with Equality
- …Terminating Tableau Systems for Modal Logic with Equality Mark Kaminski and Gert Smolka Saarland…
- Add To MetaCart
-
A Straightforward Saturation-Based Decision Procedure for Hybrid Logic
- …A Straightforward Saturation-Based Decision Procedure for Hybrid Logic Mark Kaminski 1 Gert Smolka…
- Cited by 3 (3 self) – Add To MetaCart
-
Hybrid Tableaux for the Difference Modality
- …Hybrid Tableaux for the Difference Modality Abstract Mark Kaminski 1 Gert Smolka 1 Programming…
- Cited by 4 (4 self) – Add To MetaCart
-
Terminating tableaux for hybrid logic with the difference modality and converse
- …Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse Mark Kaminski…
- Cited by 3 (3 self) – Add To MetaCart
-
G.: Terminating tableau systems for hybrid logic with difference and converse
- …Terminating Tableau Systems for Hybrid Logic with Difference and Converse Mark Kaminski and Gert…
- Cited by 1 (1 self) – Add To MetaCart
-
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
- … to achieve termination of the2 Mark Kaminski, Sigurd Schneider, and Gert Smolka tableau construction…
- Add To MetaCart
-
Declaration of Consent
- … Logic submitted by Mark Kaminski on 15.12.2006 Supervisor Prof. Dr. Gert Smolka Reviewers Prof. Dr. Gert…
- Add To MetaCart
-
Initial results for hybrid SPECT-conjugate-view tumor dosimetry in I-131 anti-B1-antibody therapy of previously-untreated lymphoma patients
- … D. Regan, Kenneth R. Zasadny, Stephen G. Rommelfanger, Issac R. Francis, Mark S. Kaminski…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 10.
