Wojciech Jedynak

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Genetic Algorithm

Operational Semantics

Bayesian Networks

Scripting Language

Top Venues

Publications

Wojciech Jedynak, Malgorzata Biernacka, Dariusz Biernacki
An operational foundation for the tactic language of Coq. PPDP (2013)