Search alternatives:
proving finite » proving definite, proving infinite, moving 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...”