Skip to content

T. H. Payne

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

2

Active years

1988–1990

Best venue rank

A*

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
1990CADECase-Free Programs: An Abstraction of Definite Horn Programs.Toshiro Wakayama, T. H. Payne
1990SODANew Results on Server Problems.Marek Chrobak, Howard J. Karloff, T. H. Payne, Sundar Vishwanathan
1988CADECase Inference in Resolution-Based Languages.Toshiro Wakayama, T. H. Payne