HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >

Sort by: In order: Results/Page Authors/Record:
Export metadata:
Showing results 1 to 2 of 2
TypeAuthor(s)TitleOther TitlesCitationCitation(alt)Issue Date
articleJordan, Charles; Zeugmann, ThomasThe Kahr-Moore-Wang Class Contains Untestable Properties-Baltic journal of modern computing-2016
article (author version)Jordan, Charles; Zeugmann, ThomasTestable and untestable classes of first-order formulae-Journal of Computer and System Sciences-Sep-2012
Showing results 1 to 2 of 2

 

Hokkaido University