9 search results - page 2 / 2 » Modular typechecking for hierarchically extensible datatypes... |
BMCBI
2006
13 years 5 months ago
2006
Background: The exploration of the structural topology and the organizing principles of genomebased large-scale metabolic networks is essential for studying possible relations bet...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Many problems in mathematics and computer science can be reduced to proving the satisfiability of conjunctions of literals in a background theory which is often the extension of a ...
ICFP
2001
ACM
14 years 5 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
ESWS
2007
Springer
13 years 11 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...