2268 search results - page 117 / 454 » The Essence of Form Abstraction |
ENTCS
2008
13 years 8 months ago
2008
Abstract. The biologist R. Thomas has enounced a rule relating multistationnarity in a system of genes interacting in a single cell to the existence of a positive circuit in the re...
IANDC
2008
13 years 8 months ago
2008
Abstract. Boolean grammars are an extension of context-free grammars, in which all propositional connectives are allowed. In this paper, the notion of ambiguity in Boolean grammars...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...
DM
2006
13 years 8 months ago
2006
Abstract. We present some simple observations on factors of the qbinomial coefficients, the q-Catalan numbers, and the q-multinomial coefficients. Writing the Gaussian coefficient ...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
Abstract – This study presents Albert Burroni’s polygraphs as an algebraic and graphical description of first-order functional programs, where functions can have many outputs....