|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
22 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Bayesian Model for Event-based Trust |
Nielsen, Mogens |
2007 |
172 | C |
p. 499-521 23 p. |
artikel |
|
| 2 | Access Control in a Core Calculus of Dependency |
Abadi, Martín |
2007 |
172 | C |
p. 5-31 27 p. |
artikel |
|
| 3 | A Convenient Category of Domains |
Battenfeld, Ingo |
2007 |
172 | C |
p. 69-99 31 p. |
artikel |
|
| 4 | A Framework for Defining Logical Frameworks |
Honsell, Furio |
2007 |
172 | C |
p. 399-436 38 p. |
artikel |
|
| 5 | Conformal Field Theory as a Nuclear Functor |
Blute, Richard |
2007 |
172 | C |
p. 101-132 32 p. |
artikel |
|
| 6 | Definability and Full Abstraction |
Curien, Pierre-Louis |
2007 |
172 | C |
p. 301-310 10 p. |
artikel |
|
| 7 | Event Domains, Stable Functions and Proof-Nets |
Abramsky, Samson |
2007 |
172 | C |
p. 33-67 35 p. |
artikel |
|
| 8 | Event Structures with Symmetry |
Winskel, Glynn |
2007 |
172 | C |
p. 611-652 42 p. |
artikel |
|
| 9 | Heuristics for Safety and Security Constraints |
Nielson, Flemming |
2007 |
172 | C |
p. 523-543 21 p. |
artikel |
|
| 10 | Labelled Markov Processes as Generalised Stochastic Relations |
Mislove, Michael |
2007 |
172 | C |
p. 459-478 20 p. |
artikel |
|
| 11 | Local Reasoning about Data Update |
Calcagno, Cristiano |
2007 |
172 | C |
p. 133-175 43 p. |
artikel |
|
| 12 | Manipulating Trees with Hidden Labels |
Cardelli, Luca |
2007 |
172 | C |
p. 177-201 25 p. |
artikel |
|
| 13 | Model-Checking Games for Typed λ-Calculi |
Stirling, Colin |
2007 |
172 | C |
p. 589-609 21 p. |
artikel |
|
| 14 | Nominal Equational Logic |
Clouston, Ranald A. |
2007 |
172 | C |
p. 223-257 35 p. |
artikel |
|
| 15 | Preface |
Cardelli, Luca |
2007 |
172 | C |
p. 1-4 4 p. |
artikel |
|
| 16 | Protocol Composition Logic (PCL) |
Datta, Anupam |
2007 |
172 | C |
p. 311-358 48 p. |
artikel |
|
| 17 | Remarks on Testing Probabilistic Processes |
Deng, Yuxin |
2007 |
172 | C |
p. 359-397 39 p. |
artikel |
|
| 18 | Structuring Operational Semantics: Simplification and Computation |
Moggi, Eugenio |
2007 |
172 | C |
p. 479-497 19 p. |
artikel |
|
| 19 | Syntactic Logical Relations for Polymorphic and Recursive Types |
Crary, Karl |
2007 |
172 | C |
p. 259-299 41 p. |
artikel |
|
| 20 | Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic |
Pym, David |
2007 |
172 | C |
p. 545-587 43 p. |
artikel |
|
| 21 | The Bicategory-Theoretic Solution of Recursive Domain Equations |
Cattani, Gian Luca |
2007 |
172 | C |
p. 203-222 20 p. |
artikel |
|
| 22 | The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads |
Hyland, Martin |
2007 |
172 | C |
p. 437-458 22 p. |
artikel |
22 gevonden resultaten