Upcoming: conference talk

Alexander Bolotov, Vasilyi Shangin, Oleg Grigoriev and Mariusz Urbanski, [highlight bg=”#DDFF99″ color=”#000000″]Socratic Proofs for Propositional Linear-Time Logic[/highlight], Joint Automated Reasoning Workshop and Deduktionstreffen, Vienna, 23-24 July 2014.

Reklamy