A Class of Contracting Stream Operators†.
- Published in:
- Computer Journal, 2013, v. 56, n. 1, p. 15, doi. 10.1093/comjnl/bxs054
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 2013 AND VI 56 AND IP 1
Results: 10
1
2
Capsule Reviews.
- Published in:
- Computer Journal, 2013, v. 56, n. 1, p. 1, doi. 10.1093/comjnl/bxs165
- By:
- Publication type:
- Article
3
Interval Domains and Computable Sequences: A Case Study of Domain Reductions.
- Published in:
- Computer Journal, 2013, v. 56, n. 1, p. 45, doi. 10.1093/comjnl/bxs121
- By:
- Publication type:
- Article
4
Context-Adaptive Coordination of Pervasive Services by Interpreting Models during Runtime†.
- Published in:
- Computer Journal, 2013, v. 56, n. 1, p. 87, doi. 10.1093/comjnl/bxs019
- By:
- Publication type:
- Article
5
SeTPR*-tree: Efficient Buffering for Spatiotemporal Indexes Via Shared Execution.
- Published in:
- Computer Journal, 2013, v. 56, n. 1, p. 115, doi. 10.1093/comjnl/bxs020
- By:
- Publication type:
- Article
6
A Source Code Similarity System for Plagiarism Detection.
- Published in:
- Computer Journal, 2013, v. 56, n. 1, p. 70, doi. 10.1093/comjnl/bxs018
- By:
- Publication type:
- Article
7
Guest Editorial.
- Published in:
- Computer Journal, 2013, v. 56, n. 1, p. 2, doi. 10.1093/comjnl/bxs147
- By:
- Publication type:
- Article
8
Turning GSOS Rules into Equations for Linear Time-Branching Time Semantics.
- Published in:
- Computer Journal, 2013, v. 56, n. 1, p. 34, doi. 10.1093/comjnl/bxs120
- By:
- Publication type:
- Article
9
Cancellation Meadows: A Generic Basis Theorem and Some Applications†.
- Published in:
- Computer Journal, 2013, v. 56, n. 1, p. 3, doi. 10.1093/comjnl/bxs028
- By:
- Publication type:
- Article
10
Modal Knowledge and Game Semirings1.
- Published in:
- Computer Journal, 2013, v. 56, n. 1, p. 53, doi. 10.1093/comjnl/bxs140
- By:
- Publication type:
- Article