Sciweavers

30 search results - page 1 / 6

» lics 2010

9

LICS
2010
IEEE

133views Automated Reasoning» more LICS 2010»

Segal Condition Meets Computational Effects

13 years 2 months ago

Segal Condition Meets Computational Effects

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

14

LICS
2010
IEEE

143views Automated Reasoning» more LICS 2010»

An Extension of Data Automata that Captures XPath

13 years 2 months ago

An Extension of Data Automata that Captures XPath

Download www.mimuw.edu.pl

Mikolaj Bojanczyk, Slawomir Lasota

claim paper

Read More »

8

LICS
2010
IEEE

131views Automated Reasoning» more LICS 2010»

Undecidability of Propositional Separation Logic and Its Neighbours

13 years 2 months ago

Undecidability of Propositional Separation Logic and Its Neighbours

Download www.doc.ic.ac.uk

James Brotherston, Max I. Kanovich

claim paper

Read More »

6

LICS
2010
IEEE

131views Automated Reasoning» more LICS 2010»

Querying the Guarded Fragment

13 years 2 months ago

Querying the Guarded Fragment

Download www.mathematik.tu-darmstadt.de

Vince Bárány, Georg Gottlob, Martin ...

claim paper

Read More »

10

ASPDAC
2010
ACM

127views Hardware» more ASPDAC 2010»

Data learning based diagnosis

13 years 2 months ago

Data learning based diagnosis

Download www.asp-dac.itri.org.tw

Li-C. Wang

claim paper

Read More »

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