dblp.uni-trier.dewww.uni-trier.de

Marija Kulas

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
8EEMarija Kulas: Toward the Concept of Backtracking Computation. Electr. Notes Theor. Comput. Sci. 128(1): 39-59 (2005)
2004
7EEChristoph Beierle, Marija Kulas, Manfred Widera: A Pragmatic Approach to Pre-testing Prolog Programs. INAP/WLP 2004: 294-308
2003
6EEMarija Kulas: Pure Prolog Execution in 21 Rules CoRR cs.PL/0310020: (2003)
2000
5 Marija Kulas: Debugging Prolog Using Annotations. WLP 2000: 183-197
4EEMarija 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
2EEMarija 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

Coauthor Index

1Christoph Beierle [4] [7]
2Jörg Poswig [1]
3Manfred Widera [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)