Sciweavers

887 search results - page 5 / 178

» A Science of Reasoning

20

LICS
2007
IEEE

80views Automated Reasoning» more LICS 2007»

Two-way unary temporal logic over trees

14 years 1 months ago

Two-way unary temporal logic over trees

Download www.mimuw.edu.pl

Mikolaj Bojanczyk

claim paper

Read More »

11

LICS
2007
IEEE

85views Automated Reasoning» more LICS 2007»

Bialgebraic Operational Semantics and Modal Logic

14 years 1 months ago

Bialgebraic Operational Semantics and Modal Logic

Download www.mimuw.edu.pl

Bartek Klin

claim paper

Read More »

24

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

14 years 1 months ago

Modified Realizability Interpretation of Classical Linear Logic

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

21

LICS
2007
IEEE

102views Automated Reasoning» more LICS 2007»

Full abstraction for nominal general references

14 years 1 months ago

Full abstraction for nominal general references

Download web.comlab.ox.ac.uk

Nikos Tzevelekos

claim paper

Read More »

20

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Adapting Logics

14 years 1 months ago

Adapting Logics

Download www.easychair.org

Andreas Blass

claim paper

Read More »

« Prev « First page 5 / 178 Last » Next »