Search Sciweavers | Sciweavers

2623 search results - page 33 / 525

» Hoare Logic in the Abstract

click to vote

LICS
1997
IEEE

101views Automated Reasoning» more LICS 1997»

A Logic for Reasoning with Higher-Order Abstract Syntax

14 years 2 months ago

Download www.lix.polytechnique.fr

Raymond McDowell, Dale Miller

claim paper

Read More »

click to vote

LICS
1989
IEEE

104views Automated Reasoning» more LICS 1989»

A Fully Abstract Semantics for a Functional Language with Logic Variables

14 years 1 months ago

Download iss.ices.utexas.edu

Radha Jagadeesan, Prakash Panangaden, Keshav Pinga...

claim paper

Read More »

click to vote

ATVA
2006
Springer

87views Hardware» more ATVA 2006»

Timed Temporal Logics for Abstracting Transient States

14 years 1 months ago

Download www.lsv.ens-cachan.fr

Houda Bel Mokadem, Béatrice Bérard, ...

claim paper

Read More »

click to vote

DCOSS
2006
Springer

90views Distributed And Parallel Com...» more DCOSS 2006»

Logical Neighborhoods: A Programming Abstraction for Wireless Sensor Networks

14 years 1 months ago

Download www.sics.se

Luca Mottola, Gian Pietro Picco

claim paper

Read More »

click to vote

ECML
1995
Springer

121views Machine Learning» more ECML 1995»

Generating Neural Networks Through the Induction of Threshold Logic Unit Trees (Extended Abstract)

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers