Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

22

ARTMED
2007

favoriteEmaildiscussreport

59views more ARTMED 2007»

Logical properties of foundational relations in bio-ontologies

13 years 11 months ago

Logical properties of foundational relations in bio-ontologies

Download web.me.com

Thomas Bittner, Maureen Donnelly

Real-time Traffic

ARTMED 2007 |

claim paper

Related Content

» Structural Logical Relations

» Extended RDF as a Semantic Foundation of Rule Markup Languages

» Strictness Logic and Polymorphic Invariance

» Modal Aspects of Object Types and PartWhole Relations and the de rede dicto Distinction

» Differential Dynamic Logics

» Institution Morphisms for Relating OWL and Z

» Termination and Reduction Checking for HigherOrder Logic Programs

» Differential Dynamic Logic for Hybrid Systems

» A Hoare Logic for the Coinductive TraceBased BigStep Semantics of While

Post Info
More Details (n/a)

Added	08 Dec 2010
Updated	08 Dec 2010
Type	Journal
Year	2007
Where	ARTMED
Authors	Thomas Bittner, Maureen Donnelly

Comments (0)