Specification with Alloy — Further Examples, More Foundations
| 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) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links | This entry has no external links. Add one. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesDerek 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.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
