Searching for "Two Forms of One Useful Logic Existential Fixed Point Logic and Liberal Datalog" – sorted by Relevance.
1 documents found, showing 1 through 1.
-
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal
- …, Redmond WA 98052, USA gurevich@(email omitted); Two Forms of One Useful Logic: Existential Fixed Point Logic…
- Cited by 4 (4 self) – Add To MetaCart
Showing 1 through 1.
