Search Sciweavers | Sciweavers

386 search results - page 32 / 78

» Coalgebraic Hybrid Logic

158

click to vote

TABLEAUX
2007
Springer

116views Artificial Intelligence» more TABLEAUX 2007»

Differential Dynamic Logic for Verifying Parametric Hybrid Systems

16 years 24 days ago

Download symbolaris.com

André Platzer

claim paper

Read More »

116

click to vote

WOLLIC
2007
Springer

81views Artificial Intelligence» more WOLLIC 2007»

Hybrid Logical Analyses of the Ambient Calculus

16 years 24 days ago

Download www.cos.ufrj.br

Thomas Bolander, René Rydhof Hansen

claim paper

Read More »

126

click to vote

CSL
2005
Springer

89views Automated Reasoning» more CSL 2005»

On the Complexity of Hybrid Logics with Binders

16 years 7 days ago

Download www.illc.uva.nl

Balder ten Cate, Massimo Franceschet

claim paper

Read More »

146

click to vote

ISMVL
2003
IEEE

101views Hardware» more ISMVL 2003»

Complementary Self-Biased Scheme for the Robust Design of CMOS/SET Hybrid Multi-Valued Logic

15 years 12 months ago

Download smdl.snu.ac.kr

Ki-Whan Song, Sang-Hoon Lee, Dae Hwan Kim, Kyung R...

claim paper

Read More »

158

click to vote

ARVLSI
1999
IEEE

151views VLSI» more ARVLSI 1999»

Clock-Powered CMOS: A Hybrid Adiabatic Logic Style for Energy-Efficient Computing

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers