A Logic to Reason About f-Indices of Inclusion over Łn
- Flaminio, T.
- Godo, L.
- Madrid, N.
- Ojeda-Aciego, M.
ISSN: 1611-3349, 0302-9743
ISBN: 9783031399640
Argitalpen urtea: 2023
Alea: 14069 LNCS
Orrialdeak: 530-539
Mota: Biltzar ekarpena
ISSN: 1611-3349, 0302-9743
ISBN: 9783031399640
Argitalpen urtea: 2023
Alea: 14069 LNCS
Orrialdeak: 530-539
Mota: Biltzar ekarpena