Sciweavers

69 search results - page 3 / 14

» igpl 2006

15

IGPL
2002

63views more IGPL 2002»

A Spatial Similarity Measure based on Games: Theory and Practice

13 years 5 months ago

A Spatial Similarity Measure based on Games: Theory and Practice

Download www.cs.rug.nl

Marco Aiello

claim paper

Read More »

11

IGPL
1998

65views more IGPL 1998»

The Linear Logic of Multisets

13 years 5 months ago

The Linear Logic of Multisets

Download users.auth.gr

Athanassios Tzouvaras

claim paper

Read More »

12

IGPL
2010

98views more IGPL 2010»

Collective trust and normative agents

13 years 4 months ago

Collective trust and normative agents

Download deon2008.uni.lu

Clara Smith, Antonino Rotolo

claim paper

Read More »

13

IGPL
2010

82views more IGPL 2010»

Multimodal and intuitionistic logics in simple type theory

13 years 4 months ago

Multimodal and intuitionistic logics in simple type theory

Download www.ags.uni-sb.de

Christoph Benzmüller, Lawrence C. Paulson

claim paper

Read More »

8

IGPL
2010

70views more IGPL 2010»

Problem of restricted interpolation in superintuitionistic and some modal logics

13 years 4 months ago

Problem of restricted interpolation in superintuitionistic and some modal logics

Download a-server.math.nsc.ru

Larisa Maksimova

claim paper

Read More »

« Prev « First page 3 / 14 Last » Next »