| 2005 |
|---|
| 8 | EE | Marija Kulas:
Toward the Concept of Backtracking Computation.
Electr. Notes Theor. Comput. Sci. 128(1): 39-59 (2005) |
| 2004 |
|---|
| 7 | EE | Christoph Beierle,
Marija Kulas,
Manfred Widera:
A Pragmatic Approach to Pre-testing Prolog Programs.
INAP/WLP 2004: 294-308 |
| 2003 |
|---|
| 6 | EE | Marija Kulas:
Pure Prolog Execution in 21 Rules
CoRR cs.PL/0310020: (2003) |
| 2000 |
|---|
| 5 | | Marija Kulas:
Debugging Prolog Using Annotations.
WLP 2000: 183-197 |
| 4 | EE | Marija Kulas,
Christoph Beierle:
Defining Standard Prolog in Rewriting Logic.
Electr. Notes Theor. Comput. Sci. 36: (2000) |
| 1999 |
|---|
| 3 | | Marija Kulas:
Annotations for Prolog - A Concept and Runtime Handling.
LOPSTR 1999: 234-254 |
| 2 | EE | Marija Kulas:
Debugging Prolog Using Annotations.
Electr. Notes Theor. Comput. Sci. 30(4): (1999) |
| 1993 |
|---|
| 1 | | Jörg Poswig,
Marija Kulas:
An Application of Logic Programming in Type Systems of Visual Languages.
WLP 1993: 85-89 |
