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
Année de publication: 2023
Volumen: 14069 LNCS
Pages: 530-539
Type: Communication dans un congrès