|
СТ |
Using Types as Approximations for Type Checking Prolog Programs |
1999 |
Beierle C., Meyer G. |
|
|
|
Lecture Notes in Computer Science |
25.11.1999 |
|
СТ |
Type Inferencing for Polymorphic Order-sorted Logic Programs |
1995 |
Beierle C. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
13.05.1996 |
|
СТ |
Extending the Warren Abstract Machine to Polimorphic Order-Sorted Resolution |
1991 |
Beierle C., Meyer G., Semle H. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
29.12.1994 |
|
П |
Implementation Specifications |
1985 |
Beierle C., Voss A. |
|
|
Univ. Kaiserslautern |
|
19.09.1991 |
