Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker. Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. Fundamenta Informaticae, 79(1-2):187-208, 2007. [doi]

This author has not been identified. Look up 'Joost Vennekens' in GoogleThis author has not been identified. Look up 'Johan Wittocx' in GoogleThis author has not been identified. Look up 'Maarten Mariën' in GoogleThis author has not been identified. Look up 'Marc Denecker' in Google

runs on WebDSL