Mixed succession rules: The commutative case

S Bacchelli, L Ferrari, R Pinzani, R Sprugnoli - Journal of Combinatorial …, 2010 - Elsevier
… In what follows we will deal with the simplest case of a mixed succession rule, namely the
case of a doubled rule: this means that, in the associated generating tree, each node at level n …

[PDF][PDF] 13th International Conference on Fibonacci Numbers and Their Applications

C Pomerance - mathstat.dal.ca
Mixed succession rules: the commutative case … of mixed succession rules, which are
succession rules such that, in … a specific case, namely that of two different production rules whose …

A mixed linear and non-linear logic: Proofs, terms and models

PN Benton - International Workshop on Computer Science Logic, 1994 - Springer
… We shall consider a case in which this does happen in … not the case that all strong monads
on CCCs are commutative; … a (non-deterministic) succession of local rewrites which percolate …

Multimodal linguistic inference

M Moortgat - Journal of Logic, Language and Information, 1996 - Springer
… the paper, we consider two types of mixed Lambek systems. … the realization of mixed
associativity or commutativity laws as the … In the case of 0 we make an existential move in the …

Mixin-based inheritance

G Bracha, W Cook - ACM Sigplan Notices, 1990 - dl.acm.org
inheritance mechanisms are subsumed in a new inheritance model ba.sed on composition
of mix… In this case the set of changes is simply the new display method. The original definition …

A Mixed λ-calculus

MR Fleury, M Quatrini - Studia Logica, 2007 - Springer
… typed in a mixed logic (with commutative and noncommutative … : the succession of one of
the three introduction rules and the … The case of the other logical left rules are dealt with in the …

[PDF][PDF] Type conversions in an OO language with inheritance

B Meyer - se.inf.ethz.ch
… Although + on ordinary arithmetic types is commutativecases, depending on the types of
the operands. For that reason, the Balancing Rule states that in the evaluation of such a mixed-…

Algebraic hyperstructures associated to biological inheritance

M Al Tahan, B Davvaz - Mathematical Biosciences, 2017 - Elsevier
inheritance and study, for the first time, their relation with hyperstucture theory. Then we make
some hypothetical crosses for the n- hybrid case … Since (H, ⊗) is commutative then we can …

Multimodal linguistic inference

M Moortgat - Logic Journal of the IGPL, 1995 - academic.oup.com
… the paper, we consider two types of mixed Lambek systems. … the realization of mixed
associativity or commutativity laws as the … In the case of O we make an existential move in the …

Contracts in Islamic law: the principles of commutative justice and liberality

H Hassan - Issues in Islamic Law, 2017 - taylorfrancis.com
… In the case of Islamic law the limitation is that the agreements … The same is clear also from
the fact that the state cannot mix … After zakah, the laws of inheritance are probably the most …