Search the dblp DataBase

Publications of Author

1. Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl
   Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic. [Citation Graph (1, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:146, n:1&2, pp:185-197 [Journal]
   
2. Birgit Elbl
   Modeling Meta-logical Features in a Calculus with Frozen Variables. [Citation Graph (0, 0)][DBLP]
   Proof Theory in Computer Science, 2001, pp:114-129 [Conf]
   
3. Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl
   Proving Total Correctness of Programs in Weak Second-Order Logic. [Citation Graph (0, 0)][DBLP]
   REX Workshop, 1992, pp:51-72 [Conf]
   
4. Birgit Elbl
   Justifying control for logic programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:35, n:, pp:- [Journal]
   
5. Birgit Elbl
   A Non-Definability Result for a Predicational Language with the Usual Control. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 2001, v:12, n:3, pp:385-396 [Journal]
   
6. Birgit Elbl
   A Declarative Semantics for Depth-First Logic Programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1999, v:41, n:1, pp:27-66 [Journal]
   
7. Birgit Elbl
   Lazy List Comprehension in Logic Programming. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2002, v:12, n:5, pp:747-771 [Journal]
   
8. 
   Cut elimination for a calculus with context-dependent rules. [Citation Graph (, )][DBLP]