Browsing by Subject machine verifiable proofs

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)Rank
17-Aug-2012CDCL-based abstract state transition system for coherent logicNikolić, Mladen ; Janičić, Predrag