Metric dynamic equilibrium logic
- Becker, A.
- Cabalar, P.
- Diéguez, M.
- Farinas del Cerro, L.
- Schaub, T.
- Schuhmann, A.
ISSN: 1958-5780, 1166-3081
Año de publicación: 2023
Volumen: 33
Número: 3-4
Páginas: 495-519
Tipo: Artículo
ISSN: 1958-5780, 1166-3081
Año de publicación: 2023
Volumen: 33
Número: 3-4
Páginas: 495-519
Tipo: Artículo