Search Sciweavers | Sciweavers

4573 search results - page 93 / 915

» Automated Reasoning

102

click to vote

LICS
1999
IEEE

95views Automated Reasoning» more LICS 1999»

Region Analysis and the Polymorphic Lambda Calculus

15 years 7 months ago

Download www.cs.ucla.edu

Anindya Banerjee, Nevin Heintze, Jon G. Riecke

claim paper

Read More »

click to vote

LICS
1999
IEEE

78views Automated Reasoning» more LICS 1999»

Weak Bisimulation and Open Maps

15 years 7 months ago

Download www.brics.dk

Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel

claim paper

Read More »

click to vote

LICS
1999
IEEE

89views Automated Reasoning» more LICS 1999»

Logics with Aggregate Operators

15 years 7 months ago

Download homepages.inf.ed.ac.uk

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

claim paper

Read More »

click to vote

GIS
1999
ACM

103views Automated Reasoning» more GIS 1999»

Cartographic Generalization as a Combination of Representing and Abstracting Knowledge

15 years 7 months ago

Download www-poleia.lip6.fr

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

claim paper

Read More »

100

click to vote

ICCBR
1999
Springer

75views Automated Reasoning» more ICCBR 1999»

Constructing and Transforming CBR Implementations: Techniques for Corporate Memory Management

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers