|
М |
A Tight, Practical Integration of Relations and Functions |
1999 |
Boley H. |
Lecture Notes in Artificial Intelligence |
|
|
|
29.10.1999 |
|
СТ |
A Relational-Functional Integration for Declarative Programming |
1997 |
Boley H. |
|
|
|
Lecture Notes in Computer Science |
28.11.1997 |
|
СТ |
Finite Domains and Exclusions as First-Class Citizens |
1994 |
Boley H. |
|
|
|
Lecture Notes in Artificial Intelligence |
30.06.1994 |
|
СТ |
A Direct Semantic Characterization of RELFUN |
1992 |
Boley H. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.04.1993 |
|
П |
From pattern-directed to adapter-driven computation via function-applying matching |
1983 |
Boley H. |
|
|
Univ. Kaiserslautern |
|
19.10.1991 |
|
П |
FIT-PROLOG: a functional/relational language comparison |
1983 |
Boley H. |
|
|
Univ. Kaiserslautern |
|
21.09.1991 |
|
П |
RELFUN: A Relational/Functional Integration with Valued Clauses |
1986 |
Boley H. |
|
|
Univ. Kaiserslautern |
|
19.09.1991 |
