Explicit negation in linear-dynamic equilibrium logic
- Aguado, F.
- Cabalar, P.
- Fandinno, J.
- Pérez, G.
- Vidal, C.
ISSN: 0922-6389
ISBN: 9781643681009
Ano de publicación: 2020
Volume: 325
Páxinas: 569-576
Tipo: Achega congreso
ISSN: 0922-6389
ISBN: 9781643681009
Ano de publicación: 2020
Volume: 325
Páxinas: 569-576
Tipo: Achega congreso