Search Sciweavers | Sciweavers

835 search results - page 8 / 167

» Geometric Logic in Computer Science

click to vote

RELMICS
2000
Springer

73views Theoretical Computer Science» more RELMICS 2000»

On the Completeness of Propositional Hoare Logic

14 years 5 days ago

Download ecommons.library.cornell.edu

Dexter Kozen, Jerzy Tiuryn

claim paper

Read More »

click to vote

STACS
2000
Springer

76views Theoretical Computer Science» more STACS 2000»

Logics Capturing Local Properties

14 years 4 days ago

Download homepages.inf.ed.ac.uk

Leonid Libkin

claim paper

Read More »

click to vote

GG
2008
Springer

78views Theoretical Computer Science» more GG 2008»

From Separation Logic to Hyperedge Replacement and Back

13 years 9 months ago

Download www.cl.cam.ac.uk

Mike Dodds

claim paper

Read More »

click to vote

SOFSEM
2010
Springer

137views Theoretical Computer Science» more SOFSEM 2010»

Comparison of Scoring and Order Approach in Description Logic EL(D)

14 years 5 months ago

Download www.sofsem.cz

Veronika Vaneková, Peter Vojtás

claim paper

Read More »

click to vote

SOFSEM
2010
Springer

115views Theoretical Computer Science» more SOFSEM 2010»

Taming the Complexity of Inductive Logic Programming

14 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers