Search Sciweavers | Sciweavers

887 search results - page 5 / 178

» A Science of Reasoning

Voted

LICS
2007
IEEE

80views Automated Reasoning» more LICS 2007»

Two-way unary temporal logic over trees

15 years 6 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

15 years 6 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

15 years 6 months ago

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

click to vote

LICS
2007
IEEE

102views Automated Reasoning» more LICS 2007»

Full abstraction for nominal general references

15 years 6 months ago

Download web.comlab.ox.ac.uk

Nikos Tzevelekos

claim paper

Read More »

Voted

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Adapting Logics

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers