Show simple item record

dc.contributor.authorWaldhauser, Tamás
dc.contributor.authorLehtonen, Erkko
HAL ID: 737805
ORCID: 0000-0002-9255-5876
dc.contributor.authorCouceiro, Miguel
HAL ID: 1498
dc.date.accessioned2012-10-02T08:09:58Z
dc.date.available2012-10-02T08:09:58Z
dc.date.issued2012
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/10390
dc.language.isoenen
dc.subjectArity gapen
dc.subjectparametrized arity gapen
dc.subjectessential variableen
dc.subjectsimple minoren
dc.subjectvariable identification minoren
dc.subject.ddc512en
dc.titleGAP vs. PAGen
dc.typeCommunication / Conférence
dc.contributor.editoruniversityotherUniversite du Luxembourg;
dc.contributor.editoruniversityotherUniversity of Szeged;
dc.description.abstractenWe propose a parametrized version of arity gap. The parametrized arity gap gap (f, l) of an n-ary function f measures the minimum decrease in the number of essential variables of f when l consecutive identifications of pairs of essential variables are performed. We determine gap(f, l) for an arbitrary function f and a positive integer l. We also propose other variants of arity gap and discuss further problems pertaining to the effect of identification of variables on the number of essential variables of functions.en
dc.identifier.citationpages268-273en
dc.relation.ispartoftitleISMVL '12 Proceedings of the 2012 IEEE 42nd International Symposium on Multiple-Valued Logicen
dc.relation.ispartofpublnameIEEEen
dc.relation.ispartofpublcityWashingtonen
dc.relation.ispartofdate2012
dc.subject.ddclabelAlgèbreen
dc.relation.ispartofisbn978-0-7695-4673-5en
dc.relation.conftitleIEEE 42nd International Symposium on Multiple-Valued Logic (ISMVL2012)en
dc.relation.confdate2012-05
dc.relation.confcityVictoriaen
dc.relation.confcountryCanadaen
dc.relation.forthcomingnonen
dc.relation.forthcomingprintnonen
dc.identifier.doihttp://dx.doi.org/10.1109/ISMVL.2012.11en


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record