646 followers
New on BIROn: The complexity of clausal fragments of LTL: Artale, A. and Kontchakov, Roman a... http://t.co/PGgZsjTj7t #BirkbeckResearch
New on BIROn: The complexity of clausal fragments of LTL: Artale, A. and Kontchakov, Roman a... http://t.co/PGgZsjTj7t #BirkbeckResearch
A Graphical Language for Proof Strategies http://t.co/SBzhmDzQef