The following pages link to Birgit Elbl (Q206558):
Displaying 9 items.
- Formalizing Dijkstra's predicate transformer wp in weak second-order logic (Q673132) (← links)
- (Q4436030) (← links)
- (Q4513579) (← links)
- (Q4636039) (← links)
- A declarative semantics for depth-first logic programs1The research reported here is based on Ref. [12].1 (Q4719372) (← links)
- Lazy List Comprehension in Logic Programming (Q4779586) (← links)
- (Q5224570) (← links)
- A NON-DEFINABILITY RESULT FOR A PREDICATIONAL LANGUAGE WITH THE USUAL CONTROL (Q5249265) (← links)
- Cut elimination for a calculus with context-dependent rules (Q5945008) (← links)