Search Sciweavers | Sciweavers

12745 search results - page 181 / 2549

» Automating test automation

113

click to vote

LICS
2000
IEEE

113views Automated Reasoning» more LICS 2000»

View-Based Query Processing and Constraint Satisfaction

15 years 10 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

128

click to vote

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

15 years 10 months ago

Download centria.di.fct.unl.pt

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

claim paper

Read More »

123

click to vote

CL
2000
Springer

114views Automated Reasoning» more CL 2000»

Reasoning about Duplicate Elimination with Description Logic

15 years 10 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

136

click to vote

LICS
1999
IEEE

95views Automated Reasoning» more LICS 1999»

Region Analysis and the Polymorphic Lambda Calculus

15 years 10 months ago

Download www.cs.ucla.edu

Anindya Banerjee, Nevin Heintze, Jon G. Riecke

claim paper

Read More »

115

click to vote

LICS
1999
IEEE

78views Automated Reasoning» more LICS 1999»

Weak Bisimulation and Open Maps

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers