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

15 years 1 months 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

15 years 1 months 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

14 years 11 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)

15 years 6 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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers