Birgit Elbl

MaRDI QIDQ206558zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Cut-free sequent calculi for products and relativised products of modal logics	2019-07-24	Paper
scientific article; zbMATH DE number 6863649 (Why is no real title available?)	2018-04-23	Paper
A non-definability result for a predicational language with the usual control International Journal of Foundations of Computer Science	2015-04-30	Paper
scientific article; zbMATH DE number 2006634 (Why is no real title available?)	2003-11-23	Paper
Lazy List Comprehension in Logic Programming Journal Of Logic And Computation	2002-11-27	Paper
Cut elimination for a calculus with context-dependent rules Archive for Mathematical Logic	2002-07-14	Paper
scientific article; zbMATH DE number 1531362 (Why is no real title available?)	2001-02-28	Paper
A declarative semantics for depth-first logic programs1The research reported here is based on Ref. [12.1] The Journal of Logic Programming	2000-02-15	Paper
Formalizing Dijkstra's predicate transformer wp in weak second-order logic Theoretical Computer Science	1997-02-28	Paper

Research outcomes over time

This page was built for person: Birgit Elbl