Search Sciweavers | Sciweavers

2530 search results - page 79 / 506

» Dynamic topological logic

137

click to vote

LATA
2009
Springer

114views Artificial Intelligence» more LATA 2009»

Learning by Erasing in Dynamic Epistemic Logic

16 years 17 days ago

Download staff.science.uva.nl

Nina Gierasimczuk

claim paper

Read More »

154

click to vote

LORI
2009
Springer

212views Artificial Intelligence» more LORI 2009»

Toward a Dynamic Logic of Questions

16 years 10 days ago

Download www.illc.uva.nl

Johan van Benthem, Stefan Minica

claim paper

Read More »

144

click to vote

TABLEAUX
2007
Springer

116views Artificial Intelligence» more TABLEAUX 2007»

Differential Dynamic Logic for Verifying Parametric Hybrid Systems

15 years 12 months ago

Download symbolaris.com

André Platzer

claim paper

Read More »

115

click to vote

PATMOS
2005
Springer

91views Modeling and Simulation» more PATMOS 2005»

A Design Methodology for Secured ICs Using Dynamic Current Mode Logic

15 years 11 months ago

Download www.uclouvain.be

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

claim paper

Read More »

103

Voted

ISLPED
2003
ACM

81views Hardware» more ISLPED 2003»

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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers