Search Sciweavers | Sciweavers

17054 search results - page 224 / 3411

» Logics of Dynamical Systems

151

click to vote

JBI
2010

96views Bioinformatics» more JBI 2010»

Evaluation of probabilistic and logical inference for a SNP annotation system

15 years 5 months ago

Download sigpubs.biostr.washington.edu

Terry H. Shen, Peter Tarczy-Hornoch, Landon Detwil...

claim paper

Read More »

172

click to vote

JELIA
2010
Springer

211views Artificial Intelligence» more JELIA 2010»

Counter Systems for Data Logics

15 years 5 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri

claim paper

Read More »

146

click to vote

MLQ
2010

78views more MLQ 2010»

Analyzing completeness of axiomatic functional systems for temporal × modal logics

15 years 5 months ago

Download www.matap.uma.es

Alfredo Burrieza, Inmaculada Perez de Guzmá...

claim paper

Read More »

click to vote

CORR
2010
Springer

70views Education» more CORR 2010»

Bounded Reachability for Temporal Logic over Constraint Systems

15 years 5 months ago

Download www.cs.unicam.it

Marcello M. Bersani, Achille Frigeri, Angelo Morze...

claim paper

Read More »

133

click to vote

RV
2010
Springer

119views Hardware» more RV 2010»

ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers