71 search results - page 13 / 15 » The Isabelle Framework |
IADIS
2004
13 years 7 months 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 6 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 6 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 4 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 6 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...