Search Sciweavers | Sciweavers

4401 search results - page 153 / 881

» Computing with Default Logic

127

click to vote

CONCUR
2005
Springer

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

Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces

15 years 12 months ago

Download www.liafa.jussieu.fr

Paul Gastin, Dietrich Kuske

claim paper

Read More »

136

click to vote

ICCS
2005
Springer

118views Applied Computing» more ICCS 2005»

Arbitrary Relations in Formal Concept Analysis and Logical Information Systems

15 years 12 months ago

Download www.irisa.fr

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

claim paper

Read More »

152

click to vote

MMMACNS
2005
Springer

119views Information Technology» more MMMACNS 2005»

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

15 years 12 months ago

Download www.cnas.org.tn

Slim Rekhis, Noureddine Boudriga

claim paper

Read More »

133

click to vote

UC
2005
Springer

87views Applied Computing» more UC 2005»

Logic Functions of the Genomic Cis-regulatory Code

15 years 12 months ago

Download cs.brown.edu

Eric H. Davidson, Sorin Istrail

claim paper

Read More »

172

click to vote

ARTS
1997
Springer

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

Refining Interval Temporal Logic Specifications

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers