BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: McAloon:Ken

Contributed to:

JICSLP 19981998
LICS 19901990
NACLP 19901990
NACLP 19891989
LICS 19881988
ICLP 19871987
TAPSOFT, Vol.1: AS 19891989

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.