MPG.eBooks - Author Search Results

Roy Dyckhoff

Roy Dyckhoff (March 4, 1948 – August 23, 2018) was a British mathematician, logician and computer scientist who worked in logic and proof theory in the Department of Pure Mathematics and later Computer Science at the University of St Andrews. He is most well known for his discovery in 1992 of a terminating sequent calculus for intuitionistic propositional logic. His Erdős number was 3. Provided by Wikipedia

Cover Image

1

Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29–April 1, 1993 Proceedings

by Dyckhoff, Roy
Published 1994

Springer

Cover Image

2

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

by Dyckhoff, Roy
Published 2000

Springer Berlin Heidelberg

Cover Image

3

Extensions of Logic Programming : 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

by Dyckhoff, Roy
Published 1996

Springer

Cover Image

4

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Other Authors: “...Dyckhoff, Roy...”

Cover Image

5

Extensions of Logic Programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings

Published 1994

Springer Berlin Heidelberg

Other Authors: “...Dyckhoff, Roy...”

Cover Image

6

Extensions of Logic Programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

Published 1996

Springer Berlin Heidelberg

Other Authors: “...Dyckhoff, Roy...”