Works matching IS 13670751 AND DT 1998 AND VI 6 AND IP 6
Results: 6
Conferences. Wollic'98, workshop on logic, language, information and computation.
- Published in:
- 1998
- By:
- Publication type:
- Abstract
The linear logic of multisets.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 6, p. 901, doi. 10.1093/jigpal/6.6.901
- By:
- Publication type:
- Article
Modal frame characterization by way of auxiliary modalities.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 6, p. 875, doi. 10.1093/jigpal/6.6.875
- By:
- Publication type:
- Article
Bridging de Bruijn indices and variable names in explicit substitutions calculi.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 6, p. 843, doi. 10.1093/jigpal/6.6.843
- By:
- Publication type:
- Article
A brief note about Rott contraction.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 6, p. 835, doi. 10.1093/jigpal/6.6.835
- By:
- Publication type:
- Article
Concurrent inference through dual transformation.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 6, p. 795, doi. 10.1093/jigpal/6.6.795
- By:
- Publication type:
- Article