Sciweavers

8 search results - page 1 / 2

» logcom 2000

12

LOGCOM
2000

63views more LOGCOM 2000»

Similarity relations in concept lattices

13 years 4 months ago

Similarity relations in concept lattices

Download irafm.osu.cz

Radim Belohlávek

claim paper

Read More »

10

LOGCOM
2000

60views more LOGCOM 2000»

A linearization of the Lambda-calculus and consequences

13 years 4 months ago

A linearization of the Lambda-calculus and consequences

Download www.church-project.org

A. J. Kfoury

claim paper

Read More »

12

LOGCOM
2000

69views more LOGCOM 2000»

Measuring similarity in belief revision

13 years 4 months ago

Measuring similarity in belief revision

Download pavlos.bma.upatras.gr

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

claim paper

Read More »

11

LOGCOM
2008

60views more LOGCOM 2008»

Monotonic and Downward Closed Games

13 years 4 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 »

9

LOGCOM
2000

69views more LOGCOM 2000»

Object calculi in linear logic

13 years 4 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 »