Deciding KAT and Hoare logic with derivatives. accepted for publication (2012)

by Ricardo Almeida, Sabine Broda, Nelma Moreira
Venue:in EPTCS, GandALF 2012 (Third International Symposium on Games, Automata, Logics and Formal Verification