Search Sciweavers | Sciweavers

4217 search results - page 103 / 844

» Computational indistinguishability logic

151

click to vote

IPPS
1997
IEEE

79views Distributed And Parallel Com...» more IPPS 1997»

Logic Channels: A Coordination Approach to Distributed Programming

15 years 11 months ago

Download www.lcc.uma.es

Manuel Díaz, Bartolomé Rubio, Jos&ea...

claim paper

Read More »

149

click to vote

CONCUR
1997
Springer

86views Distributed And Parallel Com...» more CONCUR 1997»

A Product Version of Dynamic Linear Time Temporal Logic

15 years 11 months ago

Download www.cmi.ac.in

Jesper G. Henriksen, P. S. Thiagarajan

claim paper

Read More »

137

click to vote

DAC
1993
ACM

90views Computer Architecture» more DAC 1993»

Optimization of Combinational Logic Circuits Based on Compatible Gates

15 years 11 months ago

Download si2.epfl.ch

Maurizio Damiani, Jerry Chih-Yuan Yang, Giovanni D...

claim paper

Read More »

159

click to vote

CONCUR
2007
Springer

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

Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes

15 years 10 months ago

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

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

claim paper

Read More »

123

click to vote

BIRTHDAY
2006
Springer

88views Applied Computing» more BIRTHDAY 2006»

A Functorial Framework for Constraint Normal Logic Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers