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
Year of publication: 2023
Volume: 14069 LNCS
Pages: 530-539
Type: Conference paper
ISSN: 1611-3349, 0302-9743
ISBN: 9783031399640
Year of publication: 2023
Volume: 14069 LNCS
Pages: 530-539
Type: Conference paper