21 citations · 116 across the 21 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
Positive Hennessy-Milner Logic for Branching Bisimulation
Herman Geuvers, Komi Golov
Labelled transitions systems can be studied in terms of modal logic and in terms of bisimulation. These two notions are connected by Hennessy-Milner theorems, that show that two st…
cs.LO2022★ 1 cited
Characteristics of de Bruijn's early proof checker Automath
Herman Geuvers, Rob Nederpelt
The `mathematical language' Automath, conceived by N.G. de Bruijn in 1968, was the first theorem prover actually working and was used for checking many specimina of mathematical co…