Search Sciweavers | Sciweavers

17 search results - page 1 / 4

» jancl 2006

click to vote

JANCL
2006

45views more JANCL 2006»

Some (in)translatability results for normal logic programs and propositional theories

14 years 10 months ago

Download users.ics.tkk.fi

Tomi Janhunen

claim paper

Read More »

click to vote

JANCL
2000

47views more JANCL 2000»

A multimodal logic for reasoning about complementarity

14 years 10 months ago

Download www.cosc.brocku.ca

Ivo Düntsch, Beata Konikowska

claim paper

Read More »

Voted

JANCL
2000

52views more JANCL 2000»

On theorem proving in annotated logics

14 years 10 months ago

Download www.mmrc.iss.ac.cn

Mi Lu, Jin-Zhao Wu

claim paper

Read More »

click to vote

JANCL
1998

26views more JANCL 1998»

Calendar Logic

14 years 10 months ago

Download www.pms.ifi.lmu.de

Hans Jürgen Ohlbach, Dov M. Gabbay

claim paper

Read More »

click to vote

JANCL
2006

65views more JANCL 2006»

SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers