Search alternatives:
proving infinite » proving infinitude, proving definite, pruning infinite
proving finite » proving definite, moving finite, pricing finite
Cover Image
Read Now

1
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Representing the knowledge used during the Requirement engineering activity with generic structures...”
Cover Image
Read Now

2
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Locally finite, proper and complete operators for refining Datalog programs -- Forest fire...”