СТ |
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs |
1999 |
Dekhtyar M. I., Dikovsky A. J., Valiev M. K. |
|
|
|
Perspectives of System Informatics: Preliminary Proc. of A.Ershov Third Intern. Conf. |
02.07.1999 |
П |
Properties of Steady Behavior of Dynamic Deductive Data Bases. Part I. -stability and Promise |
1995 |
Dekhtyar M. I., Dikovsky A. J. |
|
|
Univ. Paris XII-Val de Marne |
|
10.07.1996 |
П |
Properties of Steady Behavior of Dynamic Deductive Data Bases. Part II - Homeostaticity |
1996 |
Dekhtyar M. I., Dikovsky A. J. |
|
|
Univ. Paris XII-Val de Marne |
|
10.07.1996 |
СТ |
Abstract Complexity of Prolog Based on WAM |
1993 |
Dikovsky A. J. |
|
|
|
Lecture Notes in Computer Science |
22.09.1993 |