Sciweavers

8 search results - page 1 / 2

» logcom 2000

65

LOGCOM
2000

63views more LOGCOM 2000»

Similarity relations in concept lattices

14 years 10 months ago

Similarity relations in concept lattices

Download irafm.osu.cz

Radim Belohlávek

claim paper

Read More »

55

LOGCOM
2000

60views more LOGCOM 2000»

A linearization of the Lambda-calculus and consequences

14 years 10 months ago

A linearization of the Lambda-calculus and consequences

Download www.church-project.org

A. J. Kfoury

claim paper

Read More »

64

LOGCOM
2000

69views more LOGCOM 2000»

Measuring similarity in belief revision

14 years 10 months ago

Measuring similarity in belief revision

Download pavlos.bma.upatras.gr

Pavlos Peppas, Norman Y. Foo, Abhaya C. Nayak

claim paper

Read More »

67

LOGCOM
2008

60views more LOGCOM 2008»

Monotonic and Downward Closed Games

14 years 10 months ago

Monotonic and Downward Closed Games

Download user.it.uu.se

In an earlier work [Abdulla et al. (2000, Information and Computation, 160, 109

Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Ors...

claim paper

Read More »

59

LOGCOM
2000

69views more LOGCOM 2000»

Object calculi in linear logic

14 years 10 months ago

Object calculi in linear logic

Download www.dsi.unive.it

Several calculi of objects have been studied in the recent literature, that support the central features of object-based languages: messages, inheritance, dynamic dispatch, object...

Michele Bugliesi, Giorgio Delzanno, Luigi Liquori,...

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »