71 search results - page 13 / 15 » The Isabelle Framework |
IADIS
2004
14 years 7 days ago
2004
This paper introduces a study, part of a work concerning a tool that enables teachers to create educational materials. Production of such educational materials is based on predefi...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
ENTCS
2007
13 years 10 months ago
2007
In modern functional logic languages like Curry or Toy, programs are possibly non-confluent and nonterminating rewrite systems, defining possibly non-deterministic non-strict fu...
LICS
2010
IEEE
13 years 9 months ago
2010
IEEE
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...
BMCBI
2007
13 years 11 months ago
2007
Background: The search for enriched features has become widely used to characterize a set of genes or proteins. A key aspect of this technique is its ability to identify correlati...