Search Sciweavers | Sciweavers

1167 search results - page 61 / 234

» A Really Temporal Logic

click to vote

LICS
2007
IEEE

80views Automated Reasoning» more LICS 2007»

Two-way unary temporal logic over trees

14 years 3 months ago

Download www.mimuw.edu.pl

Mikolaj Bojanczyk

claim paper

Read More »

click to vote

VL
2007
IEEE

125views Visual Languages» more VL 2007»

Visual Reasoning by Generalized Interval-values and Interval Temporal Logic

14 years 3 months ago

Download ftp.informatik.rwth-aachen.de

Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as speciﬁc ...

Benedek Nagy, Sándor Vályi

claim paper

Read More »

click to vote

CAV
2007
Springer

159views Hardware» more CAV 2007»

Boolean Abstraction for Temporal Logic Satisfiability

14 years 3 months ago

Download www.schuppan.de

Alessandro Cimatti, Marco Roveri, Viktor Schuppan,...

claim paper

Read More »

click to vote

CMSB
2007
Springer

104views Applied Computing» more CMSB 2007»

On the Analysis of Numerical Data Time Series in Temporal Logic

14 years 3 months ago

Download www.nesc.ac.uk

François Fages, Aurélien Rizk

claim paper

Read More »

click to vote

FROCOS
2007
Springer

91views Control Systems» more FROCOS 2007»

A Temporal Logic of Robustness

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers