Works matching IS 13670751 AND DT 2009 AND VI 17 AND IP 5
Results: 6
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 5, p. 538, doi. 10.1093/jigpal/jzp051
- Publication type:
- Article
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
Preface.
- Published in:
- Logic Journal of the IGPL, 2009, v. 17, n. 5, p. 437, doi. 10.1093/jigpal/jzp018
- By:
- Publication type:
- Article
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
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
From light logics to type assignments: a case study.
- Published in:
- 2009
- By:
- Publication type:
- Case Study