Works matching IS 09601295 AND DT 2007 AND VI 17 AND IP 3
Results: 8
Graph rewriting for the ?-calculus?
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 3, p. 407, doi. 10.1017/S096012950700610X
- By:
- Publication type:
- Article
A denotational semantics for the symmetric interaction combinators.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 3, p. 527, doi. 10.1017/S0960129507006135
- By:
- Publication type:
- Article
Natural deduction via graphs: formal definition and computation rules.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 3, p. 485, doi. 10.1017/S0960129507006123
- By:
- Publication type:
- Article
A duality between proof systems for cyclic term graphs.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 3, p. 439, doi. 10.1017/S0960129507006111
- By:
- Publication type:
- Article
Graph rewriting for the π-calculus.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 3, p. 407, doi. 10.1017/S096012950700610X
- By:
- Publication type:
- Article
A rewriting calculus for cyclic higher-order term graphs.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 3, p. 363, doi. 10.1017/S0960129507006093
- By:
- Publication type:
- Article
Theory and applications of term graph rewriting: introduction.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 3, p. 361, doi. 10.1017/S0960129507006081
- By:
- Publication type:
- Article
Randomised algorithms for isomorphisms of simple types.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 3, p. 565, doi. 10.1017/S0960129507006068
- By:
- Publication type:
- Article