Search Sciweavers | Sciweavers

8232 search results - page 265 / 1647

» Dynamic Logic Programming

187

click to vote

FLOPS
2008
Springer

133views Automated Reasoning» more FLOPS 2008»

EasyCheck - Test Data for Free

15 years 8 months ago

Download www.informatik.uni-kiel.de

Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...

Jan Christiansen, Sebastian Fischer

claim paper

Read More »

129

click to vote

ICCAD
2005
IEEE

145views Hardware» more ICCAD 2005»

Noise margin analysis for dynamic logic circuits

16 years 3 months ago

Download people.cs.ubc.ca

Suwen Yang, Mark R. Greenstreet

claim paper

Read More »

149

click to vote

LATA
2009
Springer

114views Artificial Intelligence» more LATA 2009»

Learning by Erasing in Dynamic Epistemic Logic

16 years 1 months ago

Download staff.science.uva.nl

Nina Gierasimczuk

claim paper

Read More »

165

click to vote

LORI
2009
Springer

212views Artificial Intelligence» more LORI 2009»

Toward a Dynamic Logic of Questions

16 years 1 months ago

Download www.illc.uva.nl

Johan van Benthem, Stefan Minica

claim paper

Read More »

157

click to vote

TABLEAUX
2007
Springer

116views Artificial Intelligence» more TABLEAUX 2007»

Differential Dynamic Logic for Verifying Parametric Hybrid Systems

16 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers