Search Sciweavers | Sciweavers

4401 search results - page 153 / 881

» Computing with Default Logic

click to vote

CONCUR
2005
Springer

76views Distributed And Parallel Com...» more CONCUR 2005»

Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces

14 years 3 months ago

Download www.liafa.jussieu.fr

Paul Gastin, Dietrich Kuske

claim paper

Read More »

click to vote

ICCS
2005
Springer

118views Applied Computing» more ICCS 2005»

Arbitrary Relations in Formal Concept Analysis and Logical Information Systems

14 years 3 months ago

Download www.irisa.fr

Sébastien Ferré, Olivier Ridoux, Ben...

claim paper

Read More »

click to vote

MMMACNS
2005
Springer

119views Information Technology» more MMMACNS 2005»

A Temporal Logic-Based Model for Forensic Investigation in Networked System Security

14 years 3 months ago

Download www.cnas.org.tn

Slim Rekhis, Noureddine Boudriga

claim paper

Read More »

click to vote

UC
2005
Springer

87views Applied Computing» more UC 2005»

Logic Functions of the Genomic Cis-regulatory Code

14 years 3 months ago

Download cs.brown.edu

Eric H. Davidson, Sorin Istrail

claim paper

Read More »

click to vote

ARTS
1997
Springer

110views Distributed And Parallel Com...» more ARTS 1997»

Refining Interval Temporal Logic Specifications

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers