News
Prof. Dr. Peter Schroeder-Heister - uni …
ls.informatik.uni-tuebingen.de
I am currently working on the foundations of inference, and here especially on its proof-theoretic basis, pursuing a programme which I have called "proof-theoretic ...
sortiert nach Relevanz / Datum