|
СТ |
Integrating Logic Programming and Equational Specification of Abstract Data Types |
1988 |
Beierle Ch., Pletat U. |
Mathematical Research |
|
|
Algebraic and Logic Programming |
30.06.1995 |
|
СТ |
Knowledge Based PPS Applications in PROTOS-L |
1992 |
Beierle Ch. |
|
|
|
Lecture Notes in Artificial Intelligence |
02.10.1992 |
|
П |
Parameterization without parameters in: The history of a hierarchy of specifications |
1983 |
Beierle Ch., Gerlach M., Voss A. |
|
|
Univ. Kaiserslautern |
|
19.10.1991 |
|
П |
Canonical term functors and parameterization-by-use for the specification of abstract data types |
1983 |
Beierle Ch., Vos A. |
|
|
Univ. Kaiserslautern |
|
21.09.1991 |
|
П |
Parameterization-by-use for hierarchically structured objects |
1983 |
Beierle Ch., Vos A. |
|
|
Univ. Kaiserslautern |
|
21.09.1991 |
