Showing 1 - 2 results of 2 for search 'Romulo Albano de Freitas', query time: 0.01s Refine Results
  1. 1
    A characterization of adjunction in a many-valued modal system

    A characterization of adjunction in a many-valued modal system by Hércules de Araújo Feitosa, Romulo Albano de Freitas

    Published 2025-07-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Towards an algebrization of a linear temporal logic

    Towards an algebrization of a linear temporal logic by Romulo Albano de Freitas, Hércules de Araujo Feitosa, Luiz Henrique da Cruz Silvestrini

    Published 2025-07-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: