Search Sciweavers | Sciweavers

12745 search results - page 181 / 2549

» Automating test automation

Voted

LICS
2000
IEEE

113views Automated Reasoning» more LICS 2000»

View-Based Query Processing and Constraint Satisfaction

15 years 9 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

107

click to vote

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

15 years 9 months ago

Download centria.di.fct.unl.pt

José Júlio Alferes, Heinrich Herre, ...

claim paper

Read More »

106

Voted

CL
2000
Springer

114views Automated Reasoning» more CL 2000»

Reasoning about Duplicate Elimination with Description Logic

15 years 9 months ago

Download www.inf.unibz.it

Vitaliy L. Khizder, David Toman, Grant E. Weddell

claim paper

Read More »

116

click to vote

LICS
1999
IEEE

95views Automated Reasoning» more LICS 1999»

Region Analysis and the Polymorphic Lambda Calculus

15 years 9 months ago

Download www.cs.ucla.edu

Anindya Banerjee, Nevin Heintze, Jon G. Riecke

claim paper

Read More »

Voted

LICS
1999
IEEE

78views Automated Reasoning» more LICS 1999»

Weak Bisimulation and Open Maps

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers