Representing rational McNaughton functions via MODSAT relativisation

• Author(s): Finger, Marcelo
• Date: 2019
• Origin: Oasisbr
• Subject(s): LÓGICA MATEMÁTICA
• Document Type: Other
• Language: English