СТ |
Operations on proofs thet can be specified by means of modal logic |
2004 |
Artemov S. N. |
|
|
|
Moscow Computer Sience School 2004 - Лекции по мат. логике |
29.10.2004 |
СТ |
Logic of Proofs |
2004 |
Artemov S. N. |
|
|
|
Moscow Computer Sience School 2004 |
29.10.2004 |
СТ |
Explicit Provability and Constructive Semantics |
2004 |
Artemov S. N. |
|
|
|
Moscow Computer Sience School 2004 |
29.10.2004 |
СТ |
On Explicit Reflection in Theorem Proving and Formal Verification |
2004 |
Artemov S. N. |
|
|
|
Moscow Computer Sience School 2004 |
29.10.2004 |
СТ |
Unified Semantics for Modality and Lambda-terms via Proof Polinomials |
2004 |
Artemov S. N. |
|
|
|
Moscow Computer Sience School 2004 |
29.10.2004 |
СТ |
Operational modal logic |
2004 |
Artemov S. N. |
|
|
|
Moscow Computer Sience School 2004 |
29.10.2004 |
СТ |
Kolmogorov and Godel s approach to intuitionistic logic: current developments |
2004 |
Artemov S. N. |
|
|
|
Moscow Computer Sience School 2004 |
29.10.2004 |