Search Sciweavers | Sciweavers

31387 search results - page 50 / 6278

» Abstracts

click to vote

ELP
1989

84views Logical Reasoning» more ELP 1989»

A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

14 years 2 months ago

Download www.lix.polytechnique.fr

BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...

Dale Miller

claim paper

Read More »

click to vote

CCA
2009
Springer

100views Theoretical Computer Science» more CCA 2009»

On the Computability of Rectifiable Simple Curve (Extended Abstract)

14 years 1 months ago

Download drops.dagstuhl.de

d Abstract) Robert Rettinger1 and Xizhong Zheng2,3 1 Lehrgebiet Algorithmen und Komplexit

Robert Rettinger, Xizhong Zheng

claim paper

Read More »

click to vote

FOSAD
2009
Springer

117views Security Privacy» more FOSAD 2009»

Certified Static Analysis by Abstract Interpretation

14 years 1 months ago

Download www.irisa.fr

d Static Analysis by Abstract Interpretation Fr

Frédéric Besson, David Cachera, Thom...

claim paper

Read More »

click to vote

FOCS
2004
IEEE

88views Theoretical Computer Science» more FOCS 2004»

Random Edge Can Be Exponential on Abstract Cubes

14 years 1 months ago

Download www.inf.ethz.ch

DGE can be exponential on abstract cubes Jir

Jirí Matousek, Tibor Szabó

claim paper

Read More »

click to vote

CAV
2003
Springer

106views Hardware» more CAV 2003»

Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates

14 years 1 months ago

Download www.cs.cmu.edu

redicate Abstraction Efficient: How to eliminate redundant predicates Edmund Clarke

Edmund M. Clarke, Orna Grumberg, Muralidhar Talupu...

claim paper

Read More »

« Prev « First page 50 / 6278 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers