DMCA

Deep inference in Bi-intuitionistic logic (2009)

by Linda Postniece
Venue:In Int Workshop on Logic, Language, Information and Computation, WoLLIC 2009, LNAI 5514
Citations:5 - 1 self