Search alternatives:
"constitution" » "constitutes"

1
by Bimbó, Katalin
Published 2015
CRC Press, Taylor & Francis Group
..."Sequent calculi constitute an interesting and important category of proof systems. They are much...