Login / Signup
Gergely Buday
Publication Activity (10 Years)
Years Active: 2008-2024
Publications (10 Years): 1
Top Topics
Efficient Algorithms To Compute
Statistical Distributions
Markov Chain
Discrete Space
Top Venues
SAC
Arch. Formal Proofs
</>
Publications
</>
Gergely Buday
,
Andrei Popescu
Countable Sums and Discrete (Sub)Distributions.
Arch. Formal Proofs
2024 (2024)
Gergely Buday
Formalising the SECD machine with nominal Isabelle.
SAC
(2015)
Gergely Buday
by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X.
J. Funct. Program.
18 (3) (2008)