Preface to Special Issue devoted to the memory of Sauro Tulipani.
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 1, p. 1, doi. 10.1017/S0960129507006512
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2008 AND VI 18 AND IP 1
Results: 11
1
2
Multiple-Labelled Transition Systems for nominal calculi and their logics?
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 1, p. 107, doi. 10.1017/S0960129507006585
- By:
- Publication type:
- Article
3
Model theory of exponentials on Lie algebras.
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 1, p. 189, doi. 10.1017/S0960129508006622
- By:
- Publication type:
- Article
4
Comparative uncertainty: theory and automation.
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 1, p. 57, doi. 10.1017/S0960129507006561
- By:
- Publication type:
- Article
5
A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems.
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 1, p. 29, doi. 10.1017/S0960129507006408
- By:
- Publication type:
- Article
6
Towards an algorithmic construction of cut-elimination procedures?
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 1, p. 81, doi. 10.1017/S0960129507006573
- By:
- Publication type:
- Article
7
Combinatorial laplacians and positivity under partial transpose.
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 1, p. 205, doi. 10.1017/S0960129508006634
- By:
- Publication type:
- Article
8
A positive set theory with equality revisited.
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 1, p. 177, doi. 10.1017/S0960129508006610
- By:
- Publication type:
- Article
9
The Travelling Salesman Problem in symmetric circulant matrices with two stripes.
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 1, p. 165, doi. 10.1017/S0960129508006609
- By:
- Publication type:
- Article
10
Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions).
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 1, p. 145, doi. 10.1017/S0960129508006592
- By:
- Publication type:
- Article
11
On the axiomatisability of priority.
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 1, p. 5, doi. 10.1017/S0960129507006524
- By:
- Publication type:
- Article