6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
3 - S-systems and T-systems
-
- Book:
- Free Choice Petri Nets
- Published online:
- 21 October 2009
- Print publication:
- 12 January 1995, pp 41-62
-
- Chapter
- Export citation
4 - Liveness in free-choice systems
-
- Book:
- Free Choice Petri Nets
- Published online:
- 21 October 2009
- Print publication:
- 12 January 1995, pp 63-88
-
- Chapter
- Export citation
8 - Home markings
-
- Book:
- Free Choice Petri Nets
- Published online:
- 21 October 2009
- Print publication:
- 12 January 1995, pp 169-184
-
- Chapter
- Export citation
Introduction
-
- Book:
- The Uncertain Reasoner's Companion
- Published online:
- 29 October 2009
- Print publication:
- 12 January 1995, pp ix-x
-
- Chapter
- Export citation
9 - Reachability and shortest sequences
-
- Book:
- Free Choice Petri Nets
- Published online:
- 21 October 2009
- Print publication:
- 12 January 1995, pp 185-206
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Free Choice Petri Nets
- Published online:
- 21 October 2009
- Print publication:
- 12 January 1995, pp 1-12
-
- Chapter
- Export citation
Bibliography
-
- Book:
- The Uncertain Reasoner's Companion
- Published online:
- 29 October 2009
- Print publication:
- 12 January 1995, pp 202-206
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- The Uncertain Reasoner's Companion
- Published online:
- 29 October 2009
- Print publication:
- 12 January 1995, pp i-iv
-
- Chapter
- Export citation
Index
-
- Book:
- The Uncertain Reasoner's Companion
- Published online:
- 29 October 2009
- Print publication:
- 12 January 1995, pp 207-212
-
- Chapter
- Export citation
5 - Truth-functional Belief
-
- Book:
- The Uncertain Reasoner's Companion
- Published online:
- 29 October 2009
- Print publication:
- 12 January 1995, pp 52-65
-
- Chapter
- Export citation
2 - Analysis techniques for Petri nets
-
- Book:
- Free Choice Petri Nets
- Published online:
- 21 October 2009
- Print publication:
- 12 January 1995, pp 13-40
-
- Chapter
- Export citation
Preface
-
- Book:
- Free Choice Petri Nets
- Published online:
- 21 October 2009
- Print publication:
- 12 January 1995, pp vii-viii
-
- Chapter
- Export citation
6 - Theory into practice
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 67-77
-
- Chapter
- Export citation
3 - Type inference for qualified types
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 16-30
-
- Chapter
- Export citation
Index
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 155-157
-
- Chapter
- Export citation
10 - Epilogue
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 121-125
-
- Chapter
- Export citation
Contents
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp v-viii
-
- Chapter
- Export citation
4 - Evidence
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 31-42
-
- Chapter
- Export citation
References
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 148-154
-
- Chapter
- Export citation
8 - Type classes in Gofer
-
- Book:
- Qualified Types
- Published online:
- 05 May 2010
- Print publication:
- 03 November 1994, pp 101-113
-
- Chapter
- Export citation