Not finding it? Sign in to also search OpenAlex live.
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Fredrik Dahlqvist, Alexandra Silva, Dexter C. Kozen, Sam Staton, Daniel Huang, Greg Morrisett, +40 more
Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
3 results