Metric dynamic equilibrium logic
- Becker, A.
- Cabalar, P.
- Diéguez, M.
- Farinas del Cerro, L.
- Schaub, T.
- Schuhmann, A.
ISSN: 1958-5780, 1166-3081
Ano de publicación: 2023
Volume: 33
Número: 3-4
Páxinas: 495-519
Tipo: Artigo
ISSN: 1958-5780, 1166-3081
Ano de publicación: 2023
Volume: 33
Número: 3-4
Páxinas: 495-519
Tipo: Artigo