Specification with Alloy — Further Examples, More Foundations
Graduate studies at Western
|Abstract||• What makes a binary relation B (for Branching) into a tree? • There should be exactly one root r, where the root r is defined as an object without B-predecessors|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|External links||This entry has no external links. Add one.|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Derek Partridge & Antony Galton (1995). The Specification of “Specification”. Minds and Machines 5 (2):243-255.
Raymond Turner (2011). Specification. Minds and Machines 21 (2):135-152.
Michael Grüninger & Christopher Menzel (2003). The Process Specification Language: Theory and Applications. AI Magazine 24 (3):63-74.
Orna Kupferman & Moshe Y. Vardi (1999). Church's Problem Revisited. Bulletin of Symbolic Logic 5 (2):245-263.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?