Heuer, K.
Jump to...
[KSL]
[SMI]
[Reports by Author]
[Reports by KSL Number]
[Reports by Year]
- KSL-06-07
- Makarios, S.; Heuer, K.; Fikes, R.
Computational Context Logic and Species of $ist$.
2006.
- KSL-06-09
- Makarios, S.; Heuer, K.
Building-In New Inference Rules for Computational Context Logic.
2006.
- KSL-06-11
- Makarios, S.; Heuer, K.
Any $ist_{AO}$ Quantified Context Logic has a First-Order Semantics.
2006.
Jump to...
[KSL]
[SMI]
[Reports by Author]
[Reports by KSL Number]
[Reports by Year]