Search Sciweavers | Sciweavers

Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...

Roberto Bagnara

claim paper

Read More »

146

click to vote

SP
2002
IEEE

147views Security Privacy» more SP 2002»

Binder, a Logic-Based Security Language

15 years 6 months ago

Download research.microsoft.com

John DeTreville

claim paper

Read More »

101

click to vote

FSS
2010

87views more FSS 2010»

On expansions of WNM t-norm based logics with truth-constants

15 years 5 months ago

Download www.carlesnoguera.cat

Francesc Esteva, Lluis Godo, Carles Noguera

claim paper

Read More »

132

click to vote

ISMVL
2010
IEEE

140views Hardware» more ISMVL 2010»

Efficient Simulation-Based Debugging of Reversible Logic

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers