Search Sciweavers | Sciweavers

4401 search results - page 150 / 881

» Computing with Default Logic

click to vote

WOLLIC
2009
Springer

117views Artificial Intelligence» more WOLLIC 2009»

Knowledge, Time, and Logical Omniscience

14 years 3 months ago

Download math.gc.cuny.edu

Ren-June Wang

claim paper

Read More »

click to vote

ERSHOV
2009
Springer

121views Theoretical Computer Science» more ERSHOV 2009»

A Query Language for Logic Architectures

14 years 3 months ago

Download www.isu.ru

Anton Malykh, Andrei Mantsivoda

claim paper

Read More »

click to vote

LICS
2007
IEEE

80views Automated Reasoning» more LICS 2007»

Two-way unary temporal logic over trees

14 years 3 months ago

Download www.mimuw.edu.pl

Mikolaj Bojanczyk

claim paper

Read More »

click to vote

LICS
2007
IEEE

85views Automated Reasoning» more LICS 2007»

Bialgebraic Operational Semantics and Modal Logic

14 years 3 months ago

Download www.mimuw.edu.pl

Bartek Klin

claim paper

Read More »

click to vote

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers