Thiemann, René
- Implementing RPO and POLO using SAT
2007/01/01 by Peter Schneider–Kamp, Schneider-Kamp, Peter, Carsten Fuhs +13 · 2 citations
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Advanced Database Systems and Queries