Showing 1 - 4 results of 4 for search 'Krystian Jobczyk', query time: 0.10s Refine Results
  1. 1
    A Multi-Valued Simplified Halpern–Shoham–Moszkowski Logic for Gradable Verifiability in Reasoning about Digital Circuits

    A Multi-Valued Simplified Halpern–Shoham–Moszkowski Logic for Gradable Verifiability in Reasoning about Digital Circuits by Krystian Jobczyk

    Published 2021-07-01
    Get full text
    Article
  2. 2
    The Fuzzified Natural Transformation between Categorial Functors and Its Selected Categorial Aspects

    The Fuzzified Natural Transformation between Categorial Functors and Its Selected Categorial Aspects by Krystian Jobczyk

    Published 2020-09-01
    Get full text
    Article
  3. 3
    The Fuzzy Natural Transformations, the Algebra P(ω)/fin and Generalized Encoding Theory

    The Fuzzy Natural Transformations, the Algebra P(ω)/fin and Generalized Encoding Theory by Krystian Jobczyk

    Published 2022-01-01
    Get full text
    Article
  4. 4
    Overview of Time Issues with Temporal Logics for Business Process Models

    Overview of Time Issues with Temporal Logics for Business Process Models by Krzysztof Kluza, Krystian Jobczyk, Piotr Wiśniewski, Antoni Ligęza

    Published 2016-10-01
    Get full text
    Article

Search Tools: