5571 results in Programming Languages and Applied Logic
Glossary
-
- Book:
- The Uncertain Reasoner's Companion
- Published online:
- 29 October 2009
- Print publication:
- 12 January 1995, pp 200-201
-
- Chapter
- Export citation
Free Choice Petri Nets
-
- Published online:
- 21 October 2009
- Print publication:
- 12 January 1995
Frontmatter
-
- Book:
- Free Choice Petri Nets
- Published online:
- 21 October 2009
- Print publication:
- 12 January 1995, pp i-iv
-
- Chapter
- Export citation
List of symbols
-
- Book:
- Free Choice Petri Nets
- Published online:
- 21 October 2009
- Print publication:
- 12 January 1995, pp 241-242
-
- Chapter
- Export citation
List of main results
-
- Book:
- Free Choice Petri Nets
- Published online:
- 21 October 2009
- Print publication:
- 12 January 1995, pp 243-244
-
- Chapter
- Export citation
References
-
- Book:
- Free Choice Petri Nets
- Published online:
- 21 October 2009
- Print publication:
- 12 January 1995, pp 227-234
-
- Chapter
- Export citation
6 - Inference Processes
-
- Book:
- The Uncertain Reasoner's Companion
- Published online:
- 29 October 2009
- Print publication:
- 12 January 1995, pp 66-81
-
- Chapter
- Export citation
3 - Justifying Belief as Probability
-
- Book:
- The Uncertain Reasoner's Companion
- Published online:
- 29 October 2009
- Print publication:
- 12 January 1995, pp 17-33
-
- Chapter
- Export citation
Index
-
- Book:
- Free Choice Petri Nets
- Published online:
- 21 October 2009
- Print publication:
- 12 January 1995, pp 235-240
-
- Chapter
- Export citation
5 - The Coverability Theorems
-
- Book:
- Free Choice Petri Nets
- Published online:
- 21 October 2009
- Print publication:
- 12 January 1995, pp 89-110
-
- Chapter
- Export citation
10 - Computational Feasibility
-
- Book:
- The Uncertain Reasoner's Companion
- Published online:
- 29 October 2009
- Print publication:
- 12 January 1995, pp 139-159
-
- Chapter
- Export citation
8 - Belief Revision
-
- Book:
- The Uncertain Reasoner's Companion
- Published online:
- 29 October 2009
- Print publication:
- 12 January 1995, pp 112-126
-
- Chapter
- Export citation
1 - Motivation
-
- Book:
- The Uncertain Reasoner's Companion
- Published online:
- 29 October 2009
- Print publication:
- 12 January 1995, pp 1-9
-
- Chapter
- Export citation
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