Birgit Elbl

From MaRDI portal
Person:206558

Available identifiers

zbMath Open elbl.birgitMaRDI QIDQ206558

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q52245702019-07-24Paper
https://portal.mardi4nfdi.de/entity/Q46360392018-04-23Paper
A NON-DEFINABILITY RESULT FOR A PREDICATIONAL LANGUAGE WITH THE USUAL CONTROL2015-04-30Paper
https://portal.mardi4nfdi.de/entity/Q44360302003-11-23Paper
Lazy List Comprehension in Logic Programming2002-11-27Paper
Cut elimination for a calculus with context-dependent rules2002-07-14Paper
https://portal.mardi4nfdi.de/entity/Q45135792001-02-28Paper
A declarative semantics for depth-first logic programs1The research reported here is based on Ref. [12].12000-02-15Paper
Formalizing Dijkstra's predicate transformer wp in weak second-order logic1997-02-28Paper

Research outcomes over time

This page was built for person: Birgit Elbl

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:206558&oldid=6544749"
Powered by MediaWiki