| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2002 | |
|---|---|---|
| 9 |      | Birgit Elbl: Lazy List Comprehension in Logic Programming. J. Log. Comput. 12(5): 747-771 (2002) |
| 2001 | ||
| 8 | | Birgit Elbl: Modeling Meta-logical Features in a Calculus with Frozen Variables. Proof Theory in Computer Science 2001: 114-129 |
| 7 | | Birgit Elbl: Cut elimination for a calculus with context-dependent rules. Arch. Math. Log. 40(3): 167-188 (2001) |
| 6 |  | Birgit Elbl: A Non-Definability Result for a Predicational Language with the Usual Control. Int. J. Found. Comput. Sci. 12(3): 385-396 (2001) |
| 2000 | ||
| 5 | | Birgit Elbl: Justifying control for logic programs. Electr. Notes Theor. Comput. Sci. 35: 84 (2000) |
| 1999 | ||
| 4 | | Birgit Elbl: A Declarative Semantics for Depth-First Logic Programs. J. Log. Program. 41(1): 27-66 (1999) |
| 1995 | ||
| 3 | | Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl: Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic. Theor. Comput. Sci. 146(1&2): 185-197 (1995) |
| 2 | | Birgit Elbl: Deklarative Semantik von Logikprogrammen mit Prologs Auswertungsstrategie. Universität der Bundeswehr München 1995: 1-102 |
| 1992 | ||
| 1 | | Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl: Proving Total Correctness of Programs in Weak Second-Order Logic. REX Workshop 1992: 51-72 |
| 1 | Rudolf Berghammer | [1] [3] |
| 2 | Ulf R. Schmerl | [1] [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page