Two-Way Automata in Coq Christian Doczkal Gert Smolka To appear in Proc. of Interactive Theorem Proving (ITP 2016) - Interactive Theorem Proving - Document - PDFSEARCH.IO

First Page	Meta Content
	Two-Way Automata in Coq Christian Doczkal Gert Smolka To appear in Proc. of Interactive Theorem Proving (ITP 2016) Add to Reading List Document Date: 2016-05-25 08:45:28 Open Document File Size: 139,65 KB Share Result on Facebook

Two-Way Automata in Coq Christian Doczkal Gert Smolka To appear in Proc. of Interactive Theorem Proving (ITP 2016)Add to Reading List