Publisher
Springer International Publishing
Reference16 articles.
1. Avigad, J., Donnelly, K., Gray, D., Raff, P.: A formally verified proof of the prime number theorem. ACM Trans. Comput. Log. 9(1:2), 1–23 (2007)
2. Berghammer, R., Zierer, H.: Relational algebraic semantics of deterministic and nondeterministic programs. Theor. Comput. Sci. 43, 123–147 (1986)
3. Berghammer, R.: Mathematik für die Informatik, 3rd edn. Springer, Heidelberg (2019). https://doi.org/10.1007/978-3-658-16712-7
4. Birkhoff, G.: Lattice Theory, 3rd edn. American Mathematical Society Colloquium Publications, American Mathematical Society, New York (1967)
5. Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)