Search Sciweavers | Sciweavers

1133 search results - page 33 / 227

» Local Logics for Traces

159

click to vote

DLOG
2007

164views Automated Reasoning» more DLOG 2007»

Integrated Distributed Description Logics

15 years 8 months ago

Download www.inrialpes.fr

In the context of the Semantic Web or semantic peer to peer systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or re...

Antoine Zimmermann

claim paper

Read More »

131

click to vote

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

16 years 10 days ago

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

126

click to vote

LOPSTR
2004
Springer

87views Automated Reasoning» more LOPSTR 2004»

Logical Mobility and Locality Types

15 years 11 months ago

Download www.cs.cmu.edu

Jonathan Moody

claim paper

Read More »

160

click to vote

STACS
1998
Springer

105views Theoretical Computer Science» more STACS 1998»

Local Normal Forms for First-Order Logic with Applications to Games and Automata

15 years 10 months ago

Download www.dmtcs.org

Thomas Schwentick, Klaus Barthelmann

claim paper

Read More »

135

click to vote

STACS
2000
Springer

76views Theoretical Computer Science» more STACS 2000»

Logics Capturing Local Properties

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers