Search Sciweavers | Sciweavers

4401 search results - page 129 / 881

» Computing with Default Logic

click to vote

CONCUR
2007
Springer

99views Distributed And Parallel Com...» more CONCUR 2007»

Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes

14 years 23 days ago

Download www-i2.informatik.rwth-aachen.de

Martin R. Neuhäußer, Joost-Pieter Katoe...

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

88views Applied Computing» more BIRTHDAY 2006»

A Functorial Framework for Constraint Normal Logic Programming

14 years 20 days ago

Download www.sc.ehu.es

Paqui Lucio, Fernando Orejas, Edelmira Pasarella, ...

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 18 days ago

Download www.sics.se

Luca Mottola, Gian Pietro Picco

claim paper

Read More »

click to vote

ICCS
2000
Springer

103views Applied Computing» more ICCS 2000»

A Contextual-Logic Extension of TOSCANA

14 years 15 days ago

Download www.itee.uq.edu.au

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

claim paper

Read More »

click to vote

MFCS
1995
Springer

66views Theoretical Computer Science» more MFCS 1995»

From Timed Automata to Logic - and Back

14 years 14 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers