Search Sciweavers | Sciweavers

4573 search results - page 205 / 915

» Automated Reasoning

109

click to vote

RR
2007
Springer

111views Automated Reasoning» more RR 2007»

Bridging Concrete and Abstract Syntax of Web Rule Languages

15 years 10 months ago

Download rewerse.net

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

claim paper

Read More »

click to vote

RWEB
2007
Springer

95views Automated Reasoning» more RWEB 2007»

Rule Interchange on the Web

15 years 10 months ago

Download axel.deri.ie

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

claim paper

Read More »

Voted

LICS
2006
IEEE

62views Automated Reasoning» more LICS 2006»

Approximation Schemes for First-Order Definable Optimisation Problems

15 years 9 months ago

Download www.newton.ac.uk

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

claim paper

Read More »

click to vote

LICS
2006
IEEE

104views Automated Reasoning» more LICS 2006»

Approximate Satisfiability and Equivalence

15 years 9 months ago

Download www.cs.technion.ac.il

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

claim paper

Read More »

117

click to vote

LICS
2006
IEEE

89views Automated Reasoning» more LICS 2006»

Stochastic Games with Branching-Time Winning Objectives

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers