- Tytuł:
- Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
- Autorzy:
-
Vennekens, J.
Wittocx, J.
Mariën, M.
Denecker, M. - Data publikacji:
- 2007
- Słowa kluczowe:
-
Logic Programming (LP)
approximation
fixpoint extension - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł