|
СТ |
A Semantics for the Logic of Proofs |
2004 |
Fitting M. |
|
|
|
Moscow Computer Sience School 2004 |
29.10.2004 |
|
СТ |
Annotated Revision Specification Programs |
1995 |
Fitting M. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.07.1995 |
|
СТ |
Many-Valued Semantics for Logic Programming |
1992 |
Fitting M. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
15.12.1994 |
|
СТ |
Stratified and Three-Valued Logic Programming Semantics |
1988 |
Fitting M. |
|
|
|
Logic Programming: Proc./Fifth Intern.Conf. and Symp. |
13.10.1994 |
|
СТ |
Metric Methods in the Semantics of Logic Programs |
1993 |
Fitting M. |
|
|
|
Logic Programming: Proc./1993 Intern. Symp. |
20.09.1994 |
|
СТ |
Many-Valued Non-Monotonic Modal Logics |
1992 |
Fitting M. |
|
|
|
Lecture Notes in Computer Science |
05.08.1992 |
