Search Sciweavers | Sciweavers

2432 search results - page 35 / 487

» Cryptographic logical relations

click to vote

AICOM
2008

94views more AICOM 2008»

Learning directed probabilistic logical models from relational data

14 years 10 months ago

Download www.cs.kuleuven.ac.be

Daan Fierens

claim paper

Read More »

click to vote

ARTMED
2007

59views more ARTMED 2007»

Logical properties of foundational relations in bio-ontologies

14 years 10 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

14 years 10 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

14 years 10 months ago

Download sdg.csail.mit.edu

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

claim paper

Read More »

click to vote

CSL
1998
Springer

93views Automated Reasoning» more CSL 1998»

Logical Relations and Inductive/Coinductive Types

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers