Vasyl Stefanyk Carpathian National University

output

20082025

most citedDifferential-Algebraic Integrability Analysis of the Generalized Riemann Type and Korteweg-de Vries Hydrodynamical Equations

23 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

Volodymyr Gavrylkiv7 · h 9
Mykola Kozlenko6 · h 5
T. Banakh6 · h 22
O. Nykyforchyn5 · h 4
Dušan D. Repovš4 · h 39
Ihor Lazarovych2 profiles3 · h 2
A. Prykarpatsky2 · h 15
M. Kuz2 · h 2
M. Pavlov2 · h 25
Mykola Pikuliak2 · h 2
O. Artemovych2 · h 6
V. Vialkova2 · h 7

collaborating institutions

Lviv UniversityUA5 papers
University of LjubljanaSI4 papers
Jan Kochanowski UniversityPL3 papers
AGH University of KrakowPL2 papers
Ivano-Frankivsk National Technical University of Oil and GasUA2 papers
P.N. Lebedev Physical Institute of the Russian Academy of SciencesRU2 papers
Taras Shevchenko National University of KyivUA2 papers
Centre National de la Recherche ScientifiqueFR1 paper
Cracow University of TechnologyPL1 paper
Drohobych Ivan Franko State Pedagogical UniversityUA1 paper
Institute of MathematicsPL1 paper
Laboratoire Paul PainlevéFR1 paper

Showing 2012Show all

1 paper · 1 filter

math.CT2012★ 2 cited

$L$ -fuzzy strongest postcondition predicate transformers as $L$ -idempotent linear or affine operators between semimodules of monotonic predicates

Oleh Nykyforchyn, Dušan Repovš

For a completely distributive quantale $L$ , $L$ -fuzzy strongest postcondition predicate transformers are introduced, and it is shown that, under reasonable assumptions, they are li…

L-fuzzy strongest postcondition predicate transformers as L-idempotent linear or affine operators between semimodules of monotonic predicates

$L$ -fuzzy strongest postcondition predicate transformers as $L$ -idempotent linear or affine operators between semimodules of monotonic predicates