1 | -- | 0 | Fairouz Kamareddine. Capsule Reviews |
2 | -- | 0 | Jan A. Bergstra, Jens Blanck, Faron Moller, Stanley S. Wainer. Guest Editorial |
3 | -- | 14 | Jan A. Bergstra, Inge Bethke, Alban Ponse. Cancellation Meadows: A Generic Basis Theorem and Some Applications |
15 | -- | 33 | Nick D. James, Jeffery I. Zucker. A Class of Contracting Stream Operators |
34 | -- | 44 | Maciej Gazda, Wan Fokkink. Turning GSOS Rules into Equations for Linear Time-Branching Time Semantics |
45 | -- | 52 | Jens Blanck. Interval Domains and Computable Sequences: A Case Study of Domain Reductions |
53 | -- | 69 | Bernhard Möller. Modal Knowledge and Game Semirings |
70 | -- | 86 | Zoran Duric, Dragan Gasevic. A Source Code Similarity System for Plagiarism Detection |
87 | -- | 114 | Estefanía Serral, Pedro Valderas, Vicente Pelechano. Context-Adaptive Coordination of Pervasive Services by Interpreting Models during Runtime† |
115 | -- | 137 | Thi Nguyen, Zhen He, Yi-Ping Phoebe Chen. eTPR*-tree: Efficient Buffering for Spatiotemporal Indexes Via Shared Execution |