Search Sciweavers | Sciweavers

2138 search results - page 24 / 428

» Logics for the Relational Syllogistic

click to vote

ARTMED
2007

59views more ARTMED 2007»

Logical properties of foundational relations in bio-ontologies

13 years 8 months ago

Download web.me.com

Thomas Bittner, Maureen Donnelly

claim paper

Read More »

click to vote

JANCL
2008

42views more JANCL 2008»

Second-order logic on equivalence relations

13 years 7 months ago

Download www.fmi.uni-sofia.bg

G. Georgiev, Tinko Tinchev

claim paper

Read More »

click to vote

ECEASST
2007

58views more ECEASST 2007»

Automatic Visualization of Relational Logic Models

13 years 7 months ago

Download sdg.csail.mit.edu

Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, ...

claim paper

Read More »

click to vote

TCS
2008

90views Theoretical Computer Science» more TCS 2008»

Cryptographic logical relations

13 years 7 months ago

Download www-sop.inria.fr

Yu Zhang

claim paper

Read More »

click to vote

CSL
1998
Springer

93views Automated Reasoning» more CSL 1998»

Logical Relations and Inductive/Coinductive Types

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers