An equation-based classical logic

TitleAn equation-based classical logic
Publication TypeConference Paper
Year of Publication2015
AuthorsMordido, A., and C. Caleiro
Conference NameInternational Workshop on Logic, Language, Information, and Computation
PublisherSpringer