Results 1-2 of 2 (Search time: 0.09 seconds).

Issue DateTitleAuthor(s)SourcescopusWOSFulltext/Archive link
12000Algorithmic analysis of programs with well quasi-ordered domainsAbdulla, P.A.; ?erans, K.; Jonsson, B.; Tsay, Y.-K.; YIH-KUEN TSAY Information and Computation 153117
21998On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy AnalysisBonacina, M.P.; Hsiang, J.; JIEH HSIANG Information and Computation 118