Marija Kulas

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 2

Top Topics

Matching Algorithm

Top Venues

Publications

Marija Kulas
A Term Matching Algorithm and Substitution Generality. LOPSTR (2023)
Marija Kulas
A Practical View on Renaming. WLP / WFLP (2017)
Marija Kulas
Toward the Concept of Backtracking Computation. Electron. Notes Theor. Comput. Sci. 128 (1) (2005)
Christoph Beierle, Marija Kulas, Manfred Widera
A Pragmatic Approach to Pre-testing Prolog Programs. INAP/WLP (2004)
Marija Kulas
Pure Prolog Execution in 21 Rules CoRR (2003)
Marija Kulas
Debugging Prolog Using Annotations. WLP (2000)
Marija Kulas, Christoph Beierle
Defining Standard Prolog in Rewriting Logic. WRLA (2000)
Marija Kulas
Annotations for Prolog - A Concept and Runtime Handling. LOPSTR (1999)
Marija Kulas
Debugging Prolog Using Annotations. Electron. Notes Theor. Comput. Sci. 30 (4) (1999)
Jörg Poswig, Marija Kulas
An Application of Logic Programming in Type Systems of Visual Languages. WLP (1993)