Metric dynamic equilibrium logic
- Becker, A.
- Cabalar, P.
- Diéguez, M.
- Farinas del Cerro, L.
- Schaub, T.
- Schuhmann, A.
ISSN: 1958-5780, 1166-3081
Year of publication: 2023
Volume: 33
Issue: 3-4
Pages: 495-519
Type: Article
ISSN: 1958-5780, 1166-3081
Year of publication: 2023
Volume: 33
Issue: 3-4
Pages: 495-519
Type: Article