5570 results in Programming Languages and Applied Logic
Workshop and conference on logic, algebra, and arithmetic: Tehran, October 18–22, 2003
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp ix-x
-
- Chapter
- Export citation
Generalised dynamic ordinals — universal measures for implicit computational complexity
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 48-74
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp i-iv
-
- Chapter
- Export citation
Categoricity and quantifier elimination for intuitionistic theories
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 23-41
-
- Chapter
- Export citation
Has the continuumhypothesis been settled?
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 56-75
-
- Chapter
- Export citation
Contents
-
- Book:
- The Elements of UML™ 2.0 Style
- Published online:
- 17 December 2010
- Print publication:
- 09 May 2005, pp v-viii
-
- Chapter
- Export citation
14 - UML Composite Structure Diagrams
-
- Book:
- The Elements of UML™ 2.0 Style
- Published online:
- 17 December 2010
- Print publication:
- 09 May 2005, pp 150-152
-
- Chapter
- Export citation
11 - UML Component Diagrams
-
- Book:
- The Elements of UML™ 2.0 Style
- Published online:
- 17 December 2010
- Print publication:
- 09 May 2005, pp 132-138
-
- Chapter
- Export citation
6 - UML Package Diagrams
-
- Book:
- The Elements of UML™ 2.0 Style
- Published online:
- 17 December 2010
- Print publication:
- 09 May 2005, pp 73-79
-
- Chapter
- Export citation
9 - UML State Machine Diagrams
-
- Book:
- The Elements of UML™ 2.0 Style
- Published online:
- 17 December 2010
- Print publication:
- 09 May 2005, pp 103-112
-
- Chapter
- Export citation
16 - UML Timing Diagrams
-
- Book:
- The Elements of UML™ 2.0 Style
- Published online:
- 17 December 2010
- Print publication:
- 09 May 2005, pp 157-161
-
- Chapter
- Export citation
15 - UML Interaction Overview Diagrams
-
- Book:
- The Elements of UML™ 2.0 Style
- Published online:
- 17 December 2010
- Print publication:
- 09 May 2005, pp 153-156
-
- Chapter
- Export citation
17 - Agile Modeling
-
- Book:
- The Elements of UML™ 2.0 Style
- Published online:
- 17 December 2010
- Print publication:
- 09 May 2005, pp 162-164
-
- Chapter
- Export citation
5 - UML Class Diagrams
-
- Book:
- The Elements of UML™ 2.0 Style
- Published online:
- 17 December 2010
- Print publication:
- 09 May 2005, pp 47-72
-
- Chapter
- Export citation
4 - UML Use-Case Diagrams
-
- Book:
- The Elements of UML™ 2.0 Style
- Published online:
- 17 December 2010
- Print publication:
- 09 May 2005, pp 33-46
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- The Elements of UML™ 2.0 Style
- Published online:
- 17 December 2010
- Print publication:
- 09 May 2005, pp 1-3
-
- Chapter
- Export citation
Bibliography
-
- Book:
- The Elements of UML™ 2.0 Style
- Published online:
- 17 December 2010
- Print publication:
- 09 May 2005, pp 165-168
-
- Chapter
- Export citation
2 - General Diagramming Guidelines
-
- Book:
- The Elements of UML™ 2.0 Style
- Published online:
- 17 December 2010
- Print publication:
- 09 May 2005, pp 4-14
-
- Chapter
- Export citation
7 - UML Sequence Diagrams
-
- Book:
- The Elements of UML™ 2.0 Style
- Published online:
- 17 December 2010
- Print publication:
- 09 May 2005, pp 80-93
-
- Chapter
- Export citation
Index
-
- Book:
- The Elements of UML™ 2.0 Style
- Published online:
- 17 December 2010
- Print publication:
- 09 May 2005, pp 169-188
-
- Chapter
- Export citation