Skip to content

Alexis Goyet

    • 1PublicationsNumber of items in Alexis's My Publications folder on Mendeley.
    • 1Followers

    Research interests

    CategoriesLogicsLambda Calculus

    Followers (1)

    • Katie Matho

      Katie MathoCold Spring Harbor Laboratory

    Following (1)

    • Katie Matho

      Katie MathoCold Spring Harbor Laboratory

    Publications (1)

    • Decidability and undecidability results on the modal mu-calculus with a natural number-valued semantics

      • Hagiya M
      • Tanabe Y
      N/AReaders
      N/ACitations