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

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

13 years 4 months ago

Download www.cosc.brocku.ca

Ivo Düntsch, Beata Konikowska

claim paper

Read More »

click to vote

JANCL
2000

52views more JANCL 2000»

On theorem proving in annotated logics

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

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

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers