Communities and Ancestors Associated with Egon Börger and ASM

Logic, Computation and Rigorous Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-76020-5_6 ◽

2021 ◽

pp. 96-120

Author(s):

Jonathan P. Bowen

Download Full-text