@base . a ; . , ; "Logical methods in computer science." ; ; ; ; ; "Logical methods in computer science." , "Logical methods in computer science" ; ; "http://www.bibliothek.uni-regensburg.de/ezeit/?2170262" , "https://lmcs.episciences.org" . . a . a ; "1860-5974" ; . a ; "20230615125246.105950"^^ ; ; . "Germany" . a , ; "Logical methods in computer science" .