Jean Goubault-Larrecq

Identifiers

Open LibraryOL389874A

Top Subjects

Proof theory. (1)
Automatic theorem proving. (1)

Books by Jean Goubault-Larrecq

Total count: 3

Proof theory and automated deduction

Kluwer Academic1997-01-01
Non-Hausdorff Topology and Domain Theory

Cambridge University Press2013-01-01
Foundations of Software Science and Computation Structures23rd International Conference, FOSSACS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Springer International Publishing AG2020-01-01