"P(GA201/07/0205), P(GP201/07/P168), Z(MSM0021620838)" . "10"^^ . "Ku\u010Dera, Petr" . "RIV/00216208:11320/08:00100167!RIV09-MSM-11320___" . "4" . . "1349-4198" . . . "5" . "RIV/00216208:11320/08:00100167" . "000255957800011" . "In this paper we study the problem of deciding whether a given DNF represents an interval function and if so then we also want to output the corresponding interval. This result is then extended to a 'renamable' variant of interval functions, i.e. to their variable complementation closure."@en . . . "Renamable; interval; Boolean; functions"@en . "V tomto \u010Dl\u00E1nku se zab\u00FDv\u00E1me probl\u00E9mem jak rozhodnout, zda dan\u00E1 DNF reprezentuje intervalovou funkci a v kladn\u00E9m p\u0159\u00EDpad\u011B jak zjistit odpov\u00EDdaj\u00EDc\u00ED interval. Tento v\u00FDsledek je d\u00E1le zobecn\u011Bn na 'p\u0159ejmenovatelnou' variantu intervalov\u00FDch funkc\u00ED, tj. na jejich uz\u00E1v\u011Br vzhledem ke komplementaci promenn\u00FDch."@cs . . "In this paper we study the problem of deciding whether a given DNF represents an interval function and if so then we also want to output the corresponding interval. This result is then extended to a 'renamable' variant of interval functions, i.e. to their variable complementation closure." . . "[43939B4341CA]" . "Kronus, David" . "11320" . . . "392321" . . "Renamable interval Boolean functions"@en . . "3"^^ . . . "3"^^ . "\u010Cepek, Ond\u0159ej" . "Renamable interval Boolean functions"@en . . "Renamable interval Boolean functions" . . . "P\u0159ejmenovateln\u00E9 intervalov\u00E9 booleovsk\u00E9 funkce"@cs . "JP - Japonsko" . "Renamable interval Boolean functions" . . . . "International Journal of Innovative Computing, Information and Control" . . "P\u0159ejmenovateln\u00E9 intervalov\u00E9 booleovsk\u00E9 funkce"@cs . .