Search Sciweavers | Sciweavers

4217 search results - page 104 / 844

» Computational indistinguishability logic

160

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 »

125

click to vote

ICCS
2000
Springer

103views Applied Computing» more ICCS 2000»

A Contextual-Logic Extension of TOSCANA

15 years 10 months ago

Download www.itee.uq.edu.au

Peter W. Eklund, Bernd Groh, Gerd Stumme, Rudolf W...

claim paper

Read More »

130

click to vote

MFCS
1995
Springer

66views Theoretical Computer Science» more MFCS 1995»

From Timed Automata to Logic - and Back

15 years 10 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen...

claim paper

Read More »

126

click to vote

BIRTHDAY
2008
Springer

67views Applied Computing» more BIRTHDAY 2008»

Declarative Debugging of Membership Equational Logic Specifications

15 years 8 months ago

Download maude.sip.ucm.es

Rafael Caballero, Narciso Martí-Oliet, Adri...

claim paper

Read More »

142

Voted

DCAI
2008

95views Distributed And Parallel Com...» more DCAI 2008»

Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers