CORE

🇺🇦   make metadata, not war

    3 research outputs found

    Łukasiewicz μ-calculus

    Author
    Publication venue
    'IOS Press'
    Publication date
    Field of study
    No full text
    International audienc
    HAL-ENS-LYON
    Crossref
    INRIA a CCSD electronic archive server
    Hal-Diderot

    Łukasiewicz μ-calculus

    Author
      Publication venue
      'IOS Press'
      Publication date
      Field of study
      No full text
      Crossref

      Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus

      Author
      Publication venue
      'Springer Science and Business Media LLC'
      Publication date
      Field of study
      No full text
      International audienc
      HAL-ENS-LYON
      Crossref
      corecore