Search Sciweavers | Sciweavers

4573 search results - page 93 / 915

» Automated Reasoning

133

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 »

113

click to vote

LICS
1999
IEEE

78views Automated Reasoning» more LICS 1999»

Weak Bisimulation and Open Maps

15 years 10 months ago

Download www.brics.dk

Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel

claim paper

Read More »

126

click to vote

LICS
1999
IEEE

89views Automated Reasoning» more LICS 1999»

Logics with Aggregate Operators

15 years 10 months ago

Download homepages.inf.ed.ac.uk

Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon...

claim paper

Read More »

112

click to vote

GIS
1999
ACM

103views Automated Reasoning» more GIS 1999»

Cartographic Generalization as a Combination of Representing and Abstracting Knowledge

15 years 10 months ago

Download www-poleia.lip6.fr

Sébastien Mustière, Jean-Daniel Zuck...

claim paper

Read More »

130

click to vote

ICCBR
1999
Springer

75views Automated Reasoning» more ICCBR 1999»

Constructing and Transforming CBR Implementations: Techniques for Corporate Memory Management

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers