Search Sciweavers | Sciweavers

38 search results - page 1 / 8

» lics 2007

click to vote

LICS
2007
IEEE

80views Automated Reasoning» more LICS 2007»

Two-way unary temporal logic over trees

15 years 4 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 4 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 4 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 4 months ago

Download web.comlab.ox.ac.uk

Nikos Tzevelekos

claim paper

Read More »

Voted

LICS
2007
IEEE

97views Automated Reasoning» more LICS 2007»

Reflections on Finite Model Theory

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers