Search Sciweavers | Sciweavers

4573 search results - page 205 / 915

» Automated Reasoning

147

click to vote

RR
2007
Springer

111views Automated Reasoning» more RR 2007»

Bridging Concrete and Abstract Syntax of Web Rule Languages

16 years 20 days ago

Download rewerse.net

Milan Milanovic, Dragan Gasevic, Adrian Giurca, Ge...

claim paper

Read More »

122

click to vote

RWEB
2007
Springer

95views Automated Reasoning» more RWEB 2007»

Rule Interchange on the Web

16 years 20 days ago

Download axel.deri.ie

Harold Boley, Michael Kifer, Paula-Lavinia Patranj...

claim paper

Read More »

117

click to vote

LICS
2006
IEEE

62views Automated Reasoning» more LICS 2006»

Approximation Schemes for First-Order Definable Optimisation Problems

16 years 17 days ago

Download www.newton.ac.uk

Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole...

claim paper

Read More »

121

click to vote

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Approximate Satisfiability and Equivalence

16 years 17 days ago

Download www.cs.technion.ac.il

Eldar Fischer, Frédéric Magniez, Mic...

claim paper

Read More »

150

click to vote

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Stochastic Games with Branching-Time Winning Objectives

16 years 17 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers