j
k
j a
j l
Dear colleagues,
let me invite you to the doctoral seminar on this Thursday at 9:50 in S6. Tomáš Masařík will present a paper:
Michael Lampis: Model checking lower bounds for simple graphs [1]
With best regards, Honza
[1] https://arxiv.org/abs/1302.4266
Back to the thread
Back to the list