Proceedings of the Computability in Europe 2010 Conference

TitleConstructive contextual modal judgments for reasoning from open assumptions
Publication TypeConference Paper
AuthorsPrimiero, G
EditorFerreira, F, Guerra, H, Mayordomo, E, Rasga, J
Download PDF (Author PDF)