5570 results in Programming Languages and Applied Logic
Bibliography
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 537-592
-
- Chapter
- Export citation
4 - Relationships with other Formalisms
-
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 149-192
-
- Chapter
- Export citation
5 - Hennessy–Milner logic
- from I - A Classic Theory of Reactive Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 89-101
-
- Chapter
- Export citation
Contents
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp v-vii
-
- Chapter
- Export citation
Appendix: Description Logic Terminology
-
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 525-536
-
- Chapter
- Export citation
Preface
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp xv-xx
-
- Chapter
- Export citation
8 - Introduction
- from II - A Theory of Real-time Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 159-160
-
- Chapter
- Export citation
4 - Theory of fixed points and bisimulation equivalence
- from I - A Classic Theory of Reactive Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 75-88
-
- Chapter
- Export citation
9 - CCS with time delays
- from II - A Theory of Real-time Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 161-174
-
- Chapter
- Export citation
11 - Software Engineering
-
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 402-416
-
- Chapter
- Export citation
12 - Configuration
-
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 417-435
-
- Chapter
- Export citation
8 - Description Logic Systems
-
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 304-328
-
- Chapter
- Export citation
7 - From Description Logic Provers to Knowledge Representation Systems
-
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 285-303
-
- Chapter
- Export citation
Preface to the second edition
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp xiii-xiv
-
- Chapter
- Export citation
6 - HML with recursion
- from I - A Classic Theory of Reactive Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 102-141
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp i-iv
-
- Chapter
- Export citation
7 - Modelling mutual exclusion algorithms
- from I - A Classic Theory of Reactive Systems
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp 142-158
-
- Chapter
- Export citation
15 - Natural Language Processing
-
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 487-499
-
- Chapter
- Export citation
Figures and tables
-
- Book:
- Reactive Systems
- Published online:
- 17 March 2011
- Print publication:
- 09 August 2007, pp viii-ix
-
- Chapter
- Export citation
1 - An Introduction to Description Logics
-
-
- Book:
- The Description Logic Handbook
- Published online:
- 06 July 2010
- Print publication:
- 09 August 2007, pp 1-44
-
- Chapter
- Export citation