Publication:6124933
From MaRDI portal
DOI10.4230/lipics.csl.2022.5MaRDI QIDQ6124933
Pierre-Marie Pédrot, Assia Mahboubi, Unnamed Author
Publication date: 10 April 2024
03B70: Logic in computer science
DOI10.4230/lipics.csl.2022.5MaRDI QIDQ6124933
Pierre-Marie Pédrot, Assia Mahboubi, Unnamed Author
Publication date: 10 April 2024
03B70: Logic in computer science