Search Sciweavers | Sciweavers

2530 search results - page 79 / 506

» Dynamic topological logic

click to vote

LATA
2009
Springer

114views Artificial Intelligence» more LATA 2009»

Learning by Erasing in Dynamic Epistemic Logic

14 years 2 months ago

Download staff.science.uva.nl

Nina Gierasimczuk

claim paper

Read More »

click to vote

LORI
2009
Springer

212views Artificial Intelligence» more LORI 2009»

Toward a Dynamic Logic of Questions

14 years 2 months ago

Download www.illc.uva.nl

Johan van Benthem, Stefan Minica

claim paper

Read More »

click to vote

TABLEAUX
2007
Springer

116views Artificial Intelligence» more TABLEAUX 2007»

Differential Dynamic Logic for Verifying Parametric Hybrid Systems

14 years 1 months ago

Download symbolaris.com

André Platzer

claim paper

Read More »

click to vote

PATMOS
2005
Springer

91views Modeling and Simulation» more PATMOS 2005»

A Design Methodology for Secured ICs Using Dynamic Current Mode Logic

14 years 1 months ago

Download www.uclouvain.be

François Macé, François-Xavie...

claim paper

Read More »

click to vote

ISLPED
2003
ACM

81views Hardware» more ISLPED 2003»

A clock delayed sleep mode domino logic for wide dynamic OR gate

14 years 29 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers