Sciweavers

887 search results - page 5 / 178

» A Science of Reasoning

56

LICS
2007
IEEE

80views Automated Reasoning» more LICS 2007»

Two-way unary temporal logic over trees

15 years 4 months ago

Two-way unary temporal logic over trees

Download www.mimuw.edu.pl

Mikolaj Bojanczyk

claim paper

Read More »

48

LICS
2007
IEEE

85views Automated Reasoning» more LICS 2007»

Bialgebraic Operational Semantics and Modal Logic

15 years 4 months ago

Bialgebraic Operational Semantics and Modal Logic

Download www.mimuw.edu.pl

Bartek Klin

claim paper

Read More »

71

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

15 years 4 months ago

Modified Realizability Interpretation of Classical Linear Logic

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

61

LICS
2007
IEEE

102views Automated Reasoning» more LICS 2007»

Full abstraction for nominal general references

15 years 4 months ago

Full abstraction for nominal general references

Download web.comlab.ox.ac.uk

Nikos Tzevelekos

claim paper

Read More »

61

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Adapting Logics

15 years 4 months ago

Adapting Logics

Download www.easychair.org

Andreas Blass

claim paper

Read More »

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