Birgit Elbl

According to our database, Birgit Elbl authored at least 11 papers between 1992 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Cut-Free Sequent Calculi for Products and Relativised Products of Modal Logics.

Birgit Elbl

Proceedings of the Advances in Modal Logic 12, 2018

2016

A cut-free sequent calculus for the logic of subset spaces.

Birgit Elbl

Proceedings of the Advances in Modal Logic 11, 2016

2002

Lazy List Comprehension in Logic Programming.

Birgit Elbl

J. Log. Comput., 2002

2001

A Non-Definability Result for a Predicational Language with the Usual Control.

Birgit Elbl

Int. J. Found. Comput. Sci., 2001

Cut elimination for a calculus with context-dependent rules.

Birgit Elbl

Arch. Math. Log., 2001

Modeling Meta-logical Features in a Calculus with Frozen Variables.

Birgit Elbl

Proceedings of the Proof Theory in Computer Science, International Seminar, 2001

1999

A Declarative Semantics for Depth-First Logic Programs.

Birgit Elbl

J. Log. Program., 1999

1998

Justifying control for logic programs.

Birgit Elbl

Proceedings of the Workshop on Domains IV 1998, 1998

1995

Formalizing Dijkstra's Predicate Transformer wp in Weak Second-Order Logic.

Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl

Theor. Comput. Sci., 1995

1994

Deklarative Semantik von Logikprogrammen mit Prologs Auswertungsstrategie.

Birgit Elbl

PhD thesis, 1994

1992

Proving Total Correctness of Programs in Weak Second-Order Logic.

Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl

Proceedings of the Sematics: Foundations and Applications, 1992