Institutions for navigational logics for graphical structures
- Orejas, F.
- Pino, E.
- Navarro, M.
- Lambers, L.
Aldizkaria:
Theoretical Computer Science
ISSN: 0304-3975
Argitalpen urtea: 2018
Alea: 741
Orrialdeak: 19-24
Mota: Artikulua