СТ |
Locating Type Errors in Untyped CLP Programs |
2000 |
Drabent W., Maluszynski J., Pietrzak P. |
|
|
|
Lecture Notes in Computer Science |
16.11.2000 |
СТ |
Two Aspects of Directional Types |
1995 |
Boye J., Maluszynski J. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
13.05.1996 |
П |
Directional types for logic programs and the annotation method |
1995 |
Boye J., Maluszynski J. |
|
|
INRIA |
|
21.10.1995 |
СТ |
Towards a Clean Amalgamation of Logic Programs with External Procedures |
1988 |
Bonnier S., Maluszynski J. |
|
|
|
Logic Programming: Proc./Fifth Intern. Conf. and Symp. |
30.09.1994 |
СТ |
Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging |
1993 |
Kuchcinski K., Drabent W., Maluszynski J. |
|
|
|
Lecture Notes in Computer Science |
09.12.1993 |
СТ |
Our LIPS Are Sealed: Interfacing Functional and Logic Programming System |
1992 |
Lindstrom G., Maluszynski J., Ogi T. |
|
|
|
Lecture Notes in Computer Science |
13.10.1992 |
СТ |
Programmation logique et Grammaires d attributs |
1985 |
Deransart P., Maluszynski J. |
|
|
|
Информатика-85 |
14.02.1991 |