Search Sciweavers | Sciweavers

2623 search results - page 33 / 525

» Hoare Logic in the Abstract

154

click to vote

LICS
1997
IEEE

101views Automated Reasoning» more LICS 1997»

A Logic for Reasoning with Higher-Order Abstract Syntax

15 years 11 months ago

Download www.lix.polytechnique.fr

Raymond McDowell, Dale Miller

claim paper

Read More »

137

click to vote

LICS
1989
IEEE

104views Automated Reasoning» more LICS 1989»

A Fully Abstract Semantics for a Functional Language with Logic Variables

15 years 10 months ago

Download iss.ices.utexas.edu

Radha Jagadeesan, Prakash Panangaden, Keshav Pinga...

claim paper

Read More »

133

click to vote

ATVA
2006
Springer

87views Hardware» more ATVA 2006»

Timed Temporal Logics for Abstracting Transient States

15 years 10 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

157

click to vote

DCOSS
2006
Springer

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

Logical Neighborhoods: A Programming Abstraction for Wireless Sensor Networks

15 years 10 months ago

Download www.sics.se

Luca Mottola, Gian Pietro Picco

claim paper

Read More »

184

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)

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers