Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

23 résultats

Set-reconstructibility of Post classes

Miguel Couceiro , Erkko Lehtonen , Karsten Schölzel
Discrete Applied Mathematics, 2015, 187, pp.12-18. ⟨10.1016/j.dam.2015.02.013⟩
Article dans une revue hal-01090618v1
Image document

Linearly definable classes of Boolean functions

Miguel Couceiro , Erkko Lehtonen
ALGOS 2020 - 1st International Conference on Algebras, Graphs and Ordered Sets, Aug 2020, Nancy, France
Communication dans un congrès hal-02912876v1

Galois theory for sets of operations closed under permutation, cylindrification and composition

Miguel Couceiro , Erkko Lehtonen
Algebra Universalis, 2012, 67 (3), pp.273-297. ⟨10.1007/s00012-012-0184-1⟩
Article dans une revue hal-01090609v1

Hypomorphic Sperner Systems and Non-Reconstructible Functions

Miguel Couceiro , Erkko Lehtonen , Karsten Schölzel
Order, 2015, 32 (2), pp.255-292. ⟨10.1007/s11083-014-9330-z⟩
Article dans une revue hal-01090540v1

Decompositions of functions based on arity gap

Miguel Couceiro , Erkko Lehtonen , Tamas Waldhauser
Discrete Mathematics, 2012, 312 (2), pp.238-247. ⟨10.1016/j.disc.2011.08.028⟩
Article dans une revue hal-01090606v1
Image document

Parametrized arity gap

Miguel Couceiro , Erkko Lehtonen , Tamas Waldhauser
Order, 2013, 30 (2), pp.16. ⟨10.1007/s11083-012-9261-5⟩
Article dans une revue istex hal-01090574v1
Image document

On equational definability of function classes

Miguel Couceiro , Erkko Lehtonen , Tamas Waldhauser
Journal of Multiple-Valued Logic and Soft Computing, 2015, 24 (1–4), pp.203-222
Article dans une revue hal-01093668v1

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

Miguel Couceiro , Erkko Lehtonen , Tamas Waldhauser
Discrete Applied Mathematics, 2012, 160 (4-5), pp.383-390. ⟨10.1016/j.dam.2011.07.024⟩
Article dans une revue hal-01090604v1
Image document

Majors of functions

Miguel Couceiro , Erkko Lehtonen
Order, 2018, 35 (2), pp.233-246. ⟨10.1007/s11083-017-9428-1⟩
Article dans une revue hal-01519377v1
Image document

Sur des classes de fonctions à seuil caractérisables par des contraintes relationnelles

Miguel Couceiro , Erkko Lehtonen , Karsten Schölzel
22èmes Rencontres Francophones sur la Logique Floue et ses Applications (LFA 2013), Oct 2013, Reims, France. pp.145-152
Communication dans un congrès hal-01616387v1
Image document

Normal form systems generated by single connectives have mutually equivalent efficiency

Miguel Couceiro , Erkko Lehtonen , Pierre Mercuriali , Romain Péchoux , Mathias Soeken
DICE 2018 - Developments in Implicit Computational Complexity, Apr 2018, Thessaloniki, Greece. ⟨10.4230/LIPIcs.DICE.2016.1⟩
Communication dans un congrès hal-02499377v1
Image document

On the efficiency of normal form systems for representing Boolean functions

Miguel Couceiro , Erkko Lehtonen , Pierre Mercuriali , Romain Péchoux
Theoretical Computer Science, 2020, 813, pp.341-361. ⟨10.1016/j.tcs.2020.01.009⟩
Article dans une revue hal-02153506v2

Sur des classes de fonctions à seuil caractérisables par des contraintes relationnelles

Miguel Couceiro , Erkko Lehtonen , Karsten Schölzel
LFA 2013 - 22ème Rencontres francophones sur la Logique Floue et ses Applications, Oct 2013, Reims, France. pp.145-152
Communication dans un congrès hal-01093637v1
Image document

When nominal analogical proportions do not fail

Miguel Couceiro , Erkko Lehtonen , Laurent Miclet , Henri Prade , Gilles Richard
SUM 2020 - 14th International Conference on Scalable Uncertainty Management, Sep 2020, Bolzano / Virtual, Italy. pp.68-83
Communication dans un congrès hal-02864071v2
Image document

GAP vs. PAG

Miguel Couceiro , Erkko Lehtonen , Tamas Waldhauser
ISMVL 2012 - 42nd IEEE International Symposium on Multiple-Valued Logic, May 2012, Victoria, BC, Canada
Communication dans un congrès hal-01093660v1

On the arity gap of finite functions : results and applications.

Miguel Couceiro , Erkko Lehtonen
Journal of Multiple-Valued Logic and Soft Computing, 2016, 27 (2-3), pp.15
Article dans une revue hal-01175695v1
Image document

A survey on the arity gap

Miguel Couceiro , Erkko Lehtonen , Tamas Waldhauser
Journal of Multiple-Valued Logic and Soft Computing, 2015, 24 (1–4), pp.223-249
Article dans une revue hal-01093666v1

Commuting polynomial operations of distributive lattices

Miguel Couceiro , Mike Behrisch , Erkko Lehtonen , Keith A. Kearnes , Ágnes Szendrei
Order, 2012, Order 29 :2 (2012) 245-269, 29 (2), pp.25. ⟨10.1007/s11083-011-9231-3⟩
Article dans une revue hal-01090597v1
Image document

Additive decomposition schemes for polynomial functions over fields

Miguel Couceiro , Erkko Lehtonen , Tamas Waldhauser
Novi Sad Journal of Mathematics, 2014, 44 (2), pp.89-105
Article dans une revue hal-01090554v1
Image document

A complete classification of equational classes of threshold functions included in clones

Miguel Couceiro , Erkko Lehtonen , Karsten Schölzel
RAIRO - Operations Research, 2015, 49 (1), pp.39-66. ⟨10.1051/ro/2014034⟩
Article dans une revue hal-01090621v1
Image document

A Galois Framework for the Study of Analogical Classifiers

Miguel Couceiro , Erkko Lehtonen
IJCAI-ECAI Workshop on the Interactions between Analogical Reasoning and Machine Learning (IARML@IJCAI-ECAI 2022), Miguel Couceiro; Pierre-Alexandre Murena, Jul 2022, Vienna, Austria. pp.51-61
Communication dans un congrès hal-03745365v1
Image document

Additive decomposability of functions over Abelian groups

Miguel Couceiro , Erkko Lehtonen , Tamas Waldhauser
International Journal of Algebra and Computation, 2013, 23 (3), pp.20. ⟨10.1142/S0218196713500136⟩
Article dans une revue hal-01090576v1
Image document

Stability of Boolean function classes with respect to clones of linear functions

Miguel Couceiro , Erkko Lehtonen
Order, 2024, 41 (1), pp.15-64. ⟨10.1007/s11083-022-09596-5⟩
Article dans une revue hal-03119362v1