СТ |
Zur Semantik von Vererbung in logischen Objektspezifikationen |
1991 |
Brass S., Lipeck U. |
|
|
ETH |
Grundlagen von Datenbanken |
14.09.1991 |
П |
Transformation-Based Bottom-Up Computation of the Well-Founded Model |
1996 |
Zukowski U., Freitag B., Brass S. |
|
|
Univ.Passau |
|
29.04.1997 |
СТ |
Object-Oriented System Specification Using Defaults |
1994 |
Lipeck U. W., Brass S. |
|
|
|
Lecture Notes in Computer Science |
30.03.1994 |
СТ |
Magic Sets vs. SLD-Resolution |
1995 |
Brass S. |
|
|
Moscow ACM SIGMOD Chapter. Russian Basic Research Foundation |
ADBIS 95 |
14.09.1995 |
СТ |
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation |
1995 |
Brass S., Dix J. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
06.05.1996 |
СТ |
Characterizations of the Stable Semantics by Partial Evaluation |
1995 |
Brass S., Dix J. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.07.1995 |
СТ |
Bottom-Up Query Evaluation with Partially Ordered Defaults |
1993 |
Brass S., Lipeck U. W. |
|
|
|
Lecture Notes in Computer Science |
21.12.1993 |
СТ |
Beginnings of a Theory of General Database Completions |
1990 |
Brass S. |
|
|
|
Lecture Notes in Computer Science |
19.03.1991 |