| |
| 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 | |
| 1 | Christoph Beierle | [4] [7] |
| 2 | Jörg Poswig | [1] |
| 3 | Manfred Widera | [7] |