Marija Kulas

According to our database, Marija Kulas authored at least 9 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

A Term Matching Algorithm and Substitution Generality.

Marija Kulas

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

2017

A Practical View on Renaming.

Marija Kulas

Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017

2004

Toward the Concept of Backtracking Computation.

Marija Kulas

Proceedings of the Workshop on Structural Operational Semantics, 2004

A Pragmatic Approach to Pre-testing Prolog Programs.

Christoph Beierle, Marija Kulas, Manfred Widera

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004

2003

Pure Prolog Execution in 21 Rules

Marija Kulas

CoRR, 2003

2000

Defining Standard Prolog in Rewriting Logic.

Marija Kulas, Christoph Beierle

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

1999

Debugging Prolog Using Annotations.

Marija Kulas

Proceedings of the Tenth Workshop on Logic Programming Environments, 1999

Annotations for Prolog - A Concept and Runtime Handling.

Marija Kulas

Proceedings of the Logic Programming Synthesis and Transformation, 1999

1993

An Application of Logic Programming in Type Systems of Visual Languages.

Jörg Poswig, Marija Kulas

Proceedings of the 9. Workshop Logische Programmierung, 1993