Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 5, p. 538, doi. 10.1093/jigpal/jzp051
- Publication type:
- Article
Works matching IS 13670751 AND DT 2009 AND VI 17 AND IP 5
Results: 6
1
2
Preface.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 5, p. 437, doi. 10.1093/jigpal/jzp018
- By:
- Publication type:
- Article
3
Using modal logics to express and check global graph properties.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 5, p. 509, doi. 10.1093/jigpal/jzp021
- By:
- Publication type:
- Article
4
On the convergence of reduction-based and model-based methods in proof theory.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 5, p. 439, doi. 10.1093/jigpal/jzp022
- By:
- Publication type:
- Article
5
Natural deduction for the finite least fixed point logic with an infinitary rule.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 5, p. 481, doi. 10.1093/jigpal/jzp020
- By:
- Publication type:
- Article
6
From light logics to type assignments: a case study.
- Published in:
- 2009
- By:
- Publication type:
- Case Study