The following pages link to Wolfgang May (Q2761745):
Displayed 8 items.
- Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages (Q2761747) (← links)
- (Q4263018) (← links)
- (Q4400809) (← links)
- Proving correctness of labeled transition systems by semantic tableaux (Q4610332) (← links)
- A tableau calculus for first-order branching time logic (Q4632314) (← links)
- XPath-logic and XPathLog: A logic-programming style XML data manipulation language (Q4669645) (← links)
- (Q5450124) (← links)
- (Q5714256) (← links)