Skip to main content Skip to main navigation

Publication

What is a logic translation?

Till Mossakowski; Andrzej Tarlecki; Razvan Diaconescu
Pages 95-124, Logica Universalis, Vol. 3 (1), 2007.

More links