Sciweavers

38 search results - page 1 / 8

» lics 2007

5

LICS
2007
IEEE

80views Automated Reasoning» more LICS 2007»

Two-way unary temporal logic over trees

13 years 11 months ago

Two-way unary temporal logic over trees

Download www.mimuw.edu.pl

Mikolaj Bojanczyk

claim paper

Read More »

3

LICS
2007
IEEE

85views Automated Reasoning» more LICS 2007»

Bialgebraic Operational Semantics and Modal Logic

13 years 11 months ago

Bialgebraic Operational Semantics and Modal Logic

Download www.mimuw.edu.pl

Bartek Klin

claim paper

Read More »

11

LICS
2007
IEEE

103views Automated Reasoning» more LICS 2007»

Modified Realizability Interpretation of Classical Linear Logic

13 years 11 months ago

Modified Realizability Interpretation of Classical Linear Logic

Download www.eecs.qmul.ac.uk

Paulo Oliva

claim paper

Read More »

10

LICS
2007
IEEE

102views Automated Reasoning» more LICS 2007»

Full abstraction for nominal general references

13 years 11 months ago

Full abstraction for nominal general references

Download web.comlab.ox.ac.uk

Nikos Tzevelekos

claim paper

Read More »

7

LICS
2007
IEEE

97views Automated Reasoning» more LICS 2007»

Reflections on Finite Model Theory

13 years 11 months ago

Reflections on Finite Model Theory

Download users.soe.ucsc.edu

Phokion G. Kolaitis

claim paper

Read More »

« Prev « First page 1 / 8 Last » Next »