Travelled to:1 × France
1 × Germany
1 × Sweden
1 × United Kingdom
5 × USA
Collaborated with:K.McAloon M.J.Maher J.Jaffar T.Huynh C.Lassez ∅ K.Marriott L.Naish D.A.Wolfram A.Brodsky
Talks about:constraint (6) program (4) logic (4) treatment (1) polyhedra (1) algorithm (1) strategi (1) independ (1) calculus (1) arithmet (1)
Person: Jean-Louis Lassez
DBLP: Lassez:Jean=Louis
Facilitated 1 volumes:
EdContributed to:
1995
1990
1990199019891988
198719861984
1989Wrote 10 papers:
- PODS-1995-BrodskyLLM #constraints
- Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data (AB, CL, JLL, MJM), pp. 54–65.
- ALP-1990-HuynhLL #algorithm #fourier #revisited
- Fourier Algorithm Revisited (TH, CL, JLL), pp. 117–131.
- LICS-1990-LassezM #calculus #constraints
- A Constraint Sequent Calculus (JLL, KM), pp. 52–61.
- PODS-1990-Lassez #constraints #query
- Querying Constraints (JLL), pp. 288–298.
- NACLP-1989-LassezHM #constraints #linear
- Simplification and Elimination of Redundant Linear Arithmetic Constraints (JLL, TH, KM), pp. 37–51.
- JICSCP-1988-MarriottNL88 #logic programming #source code
- Most Specific Logic Programs (KM, LN, JLL), pp. 909–923.
- POPL-1987-JaffarL #constraints #logic programming
- Constraint Logic Programming (JJ, JLL), pp. 111–119.
- ICLP-1986-JaffarLM86 #logic programming #roadmap #semantics
- Invited Talk: Some Issues and Trends in the Semantics of Logic Programming (JJ, JLL, MJM), pp. 223–241.
- ILPC-1984-WolframML84 #logic programming #source code
- A Unified Treatment of Resolution Strategies for Logic Programs (DAW, MJM, JLL), pp. 263–276.
- AS-1989-LassezM #constraints #independence
- Independence of Negative Constraints (JLL, KM), pp. 19–27.