6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
4 - The semantics of dataflow with firing
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 71-94
-
- Chapter
- Export citation
25 - The descendants of Centaur: a personal view on Gilles Kahn's work
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 547-560
-
- Chapter
- Export citation
7 - Program semantics and infinite regular terms
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 165-168
-
- Chapter
- Export citation
12 - Towards a theory of document structure
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 265-280
-
- Chapter
- Export citation
17 - A constructive denotational semantics for Kahn networks in Coq
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 383-414
-
- Chapter
- Export citation
9 - Generalized finite developments
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 185-204
-
- Chapter
- Export citation
18 - Asclepios: a research project team at INRIA for the analysis and simulation of biomedical images
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 415-436
-
- Chapter
- Export citation
3 - Sequential algorithms as bistable maps
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 51-70
-
- Chapter
- Export citation
10 - Semantics of program representation graphs
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 205-234
-
- Chapter
- Export citation
1 - Determinacy in a synchronous π-calculus
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 1-28
-
- Chapter
- Export citation
List of contributors
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp ix-xii
-
- Chapter
- Export citation
11 - From Centaur to the Meta-Environment: a tribute to a great meta-technologist
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 235-264
-
- Chapter
- Export citation
2 - Classical coordination mechanisms in the chemical model
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 29-50
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805215/18253/cover/9780521518253.jpg)
From Semantics to Computer Science
- Essays in Honour of Gilles Kahn
-
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009
13 - Grammars as software libraries
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 281-308
-
- Chapter
- Export citation
26 - The tower of informatic models
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 561-574
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp i-iv
-
- Chapter
- Export citation
21 - Reversal strategies for adjoint algorithms
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 489-506
-
- Chapter
- Export citation
19 - Proxy caching in split TCP: dynamics, stability and tail asymptotics
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 437-464
-
- Chapter
- Export citation
22 - Reflections on INRIA and the role of Gilles Kahn
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 507-516
-
- Chapter
- Export citation