Results 291 to 300 of about 148,259 (301)

Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms

Artificial Intelligence and Symbolic Computation, 2002
Temur Kutsia
semanticscholar   +1 more source

Generalizations of Świerczkowski’s lemma and the arity gap of finite functions

Discrete Mathematics, 2009
Miguel Couceiro, Erkko Lehtonen
exaly  

The arity gap of order-preserving functions and extensions of pseudo-Boolean functions

Discrete Applied Mathematics, 2012
Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser   +2 more
exaly  

Theorem Proving with Sequence Variables and Flexible Arity Symbols

Logic Programming and Automated Reasoning, 2002
Temur Kutsia
semanticscholar   +1 more source

Polynomial reproduction for univariate subdivision schemes of any arity

Journal of Approximation Theory, 2011
Costanza Conti, Kai Hormann
exaly  

Operads in arity 1

2016
openaire   +1 more source

SYSTEMS AND DISTINCTIONS; DUALITY AND COMPLEMENT ARITY†

International Journal of General Systems, 1979
exaly  

The Arity Gap of Polynomial Functions over Bounded Distributive Lattices

2010
Miguel Couceiro, Erkko Lehtonen
exaly  

Undercutting defeat via reference properties of differing arity: a reply to Pust

Analysis, 2011
exaly  

Higher-arity Gentzen Systems for Nelson’s Logics

2000
openaire   +1 more source