Ken McAloon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1987–1998
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | ICLP | Disjunctive Linear Programming: At the Intersection of Operations Research and Logic Programming. | Ken McAloon |
| 1990 | LICS | A Constraint Sequent Calculus | Jean-Louis Lassez, Ken McAloon |
| 1988 | LICS | Efficient Parallel Algorithms for Anti-Unification and Relative Complement | Gabriel M. Kuper, Ken McAloon, Krishna V. Palem, Kenneth J. Perry |
| 1987 | ICLP | Stratification and Knowledge Based Management. | Catherine Lassez, Ken McAloon, Graeme S. Port |
| 1987 | ISMIS | Stratified Interactive Knowledge Bases. | Catherine Lassez, Ken McAloon |