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 3 of 3
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)Avis, David; Jordan, Charlesmts: a light framework for parallelizing tree search codes-Optimization methods and software-9-Mar-2021
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 3 of 3


Hokkaido University