On light logics, uniform encodings and polynomial time.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 4, p. 713, doi. 10.1017/s0960129506005421
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2006 AND VI 16 AND IP 4
Results: 8
1
2
Addressed term rewriting systems: application to a typed object calculus.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 4, p. 667, doi. 10.1017/s096012950600541x
- By:
- Publication type:
- Article
3
Call-by-need in token-passing nets.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 4, p. 639, doi. 10.1017/s0960129506005408
- By:
- Publication type:
- Article
4
Classically controlled quantum computation.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 4, p. 601, doi. 10.1017/s096012950600538x
- By:
- Publication type:
- Article
5
Quantum programming languages: survey and bibliography.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 4, p. 581, doi. 10.1017/s0960129506005378
- By:
- Publication type:
- Article
6
Generalised multisets for chemical programming.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 4, p. 557, doi. 10.1017/s0960129506005317
- By:
- Publication type:
- Article
7
Developments in computational models: introduction.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 4, p. 553, doi. 10.1017/s0960129506005305
- By:
- Publication type:
- Article
8
Reversible combinatory logicThe authors are partly funded by the EPSRC project S77066A ‘Quantitative Analysis of Computational Resources’.
- Published in:
- Mathematical Structures in Computer Science, 2006, v. 16, n. 4, p. 621, doi. 10.1017/s0960129506005391
- By:
- Publication type:
- Article