Travelled to:1 × Ireland
Collaborated with:∅
Talks about:constraint (1) program (1) formula (1) diamond (1) recurs (1) method (1) enumer (1) elimin (1) logic (1) dynam (1)
Person: Volker Weispfenning
DBLP: Weispfenning:Volker
Contributed to:
2004
1986Wrote 2 papers:
- IJCAR-2004-Weispfenning #constraints
- Solving Constraints by Elimination Methods (VW), pp. 336–341.
- CADE-1986-Weispfenning #logic #recursion #source code
- Diamond Formulas in the Dynamic Logic of Recursively Enumerable Programs (VW), pp. 564–571.