`Travelled to:`

1 × Australia

2 × United Kingdom

3 × USA

`Collaborated with:`

J.Lassez ∅ J.Cox C.Tretkoff T.Huynh C.Lassez G.S.Port G.M.Kuper K.V.Palem K.J.Perry

`Talks about:`

constraint (4) program (3) linear (2) logic (2) complement (1) intersect (1) algorithm (1) research (1) parallel (1) knowledg (1)

## Person: Ken McAloon

### DBLP: McAloon:Ken

### Contributed to:

### Wrote 7 papers:

- JICSLP-1998-McAloon #linear #logic programming #research
- Disjunctive Linear Programming: At the Intersection of Operations Research and Logic Programming (KM), pp. 5–6.
- LICS-1990-LassezM #calculus #constraints
- A Constraint Sequent Calculus (JLL, KM), pp. 52–61.
- NACLP-1990-CoxMT #complexity #constraints #logic programming #programming language
- Computational Complexity and Constraint Logic Programming Languages (JC, KM, CT), pp. 401–415.
- NACLP-1989-LassezHM #constraints #linear
- Simplification and Elimination of Redundant Linear Arithmetic Constraints (JLL, TH, KM), pp. 37–51.
- LICS-1988-KuperMPP #algorithm #anti #parallel #performance
- Efficient Parallel Algorithms for Anti-Unification and Relative Complement (GMK, KM, KVP, KJP), pp. 112–120.
- ICLP-1987-LassezMP87 #knowledge base
- Stratification and Knowledge Based Management (CL, KM, GSP), pp. 136–151.
- AS-1989-LassezM #constraints #independence
- Independence of Negative Constraints (JLL, KM), pp. 19–27.