×

zbMATH — the first resource for mathematics

Lassez, Jean-Louis

Compute Distance To:
Author ID: lassez.jean-louis Recent zbMATH articles by "Lassez, Jean-Louis"
Published as: Lassez, Jean-Louis; Lassez, J.-L.; Lassez, J. L.
Documents Indexed: 33 Publications since 1972, including 3 Books
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 230 times in 203 Documents Cited by Year
Unification revisited. Zbl 0645.68046
Lassez, J.-L.; Maher, M. J.; Marriott, K.
59
1988
Closures and fairness in the semantics of programming logic. Zbl 0547.68034
Lassez, J.-L.; Maher, M. J.
27
1984
Fixed point theorems and semantics: A folk tale. Zbl 0488.68015
Lassez, J.-L.; Nguyen, V. L.; Sonenberg, E. A.
23
1982
Explicit representation of terms defined by counter examples. Zbl 0641.68124
Lassez, J.-L.; Marriott, K.
20
1987
A canonical form for generalized linear constraints. Zbl 0745.90046
Lassez, Jean-Louis; McAloon, Ken
17
1992
Circular codes and synchronization. Zbl 0401.68050
Lassez, J.-L.
15
1976
On Fourier’s algorithm for linear arithmetic constraints. Zbl 0781.90064
Lassez, Jean-Louis; Maher, Michael J.
11
1992
A theory of complete logic programs with equality. Zbl 0584.68021
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J.
10
1984
Elimination of negation in term algebras. Zbl 0776.68070
Lassez, J.-L.; Maher, M.; Marriott, K.
9
1991
Practical issues on the projection of polyhedral sets. Zbl 0875.68821
Huynh, Tien; Lassez, Catherine; Lassez, Jean-Louis
9
1992
Optimal fixedpoints of logic programs. Zbl 0584.68029
Lassez, J.-L.; Maher, M. J.
9
1985
Most specific logic programs. Zbl 0878.68036
Marriott, K.; Naish, L.; Lassez, J.-L.
5
1990
Computational logic. Essays in honor of Alan Robinson. Zbl 0793.03002
Lassez, Jean-Louis (ed.); Plotkin, Gordon (ed.)
3
1991
Practical tools for reasoning about linear constraints. Zbl 0764.68152
Huynh, Tien; Joskowicz, Leo; Lassez, Catherine; Lassez, Jean-Louis
2
1991
Qualitative theorem proving in linear constraints. Zbl 1274.03019
Chandru, Vijay; Lassez, Jean-Louis
2
2003
Maximal unifiable subsets and minimal non-unifiable subsets. Zbl 0591.68083
Chen, T. Y.; Lassez, J.-L.; Port, G. S.
2
1986
On the structure of systematic prefix codes. Zbl 0262.68018
Lassez, Jean-Louis
2
1972
A correspondence on strongly prefix codes. Zbl 0307.94015
Lassez, J. L.
1
1975
Comments on ”General failure of logic programs”. Zbl 0596.68014
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J.
1
1986
Reasoning about linear constraints using parametric queries. Zbl 0733.68080
Huynh, Tien; Joskowicz, Leo; Lassez, Catherine; Lassez, Jean-Louis
1
1990
Prefix properties and equations in the monoid of languages. Zbl 0412.20054
Lassez, J. L.; Shyr, H. J.
1
1978
Prefix codes and isomorphic automata. Zbl 0273.94053
Lassez, J. L.
1
1973
Qualitative theorem proving in linear constraints. Zbl 1274.03019
Chandru, Vijay; Lassez, Jean-Louis
2
2003
A canonical form for generalized linear constraints. Zbl 0745.90046
Lassez, Jean-Louis; McAloon, Ken
17
1992
On Fourier’s algorithm for linear arithmetic constraints. Zbl 0781.90064
Lassez, Jean-Louis; Maher, Michael J.
11
1992
Practical issues on the projection of polyhedral sets. Zbl 0875.68821
Huynh, Tien; Lassez, Catherine; Lassez, Jean-Louis
9
1992
Elimination of negation in term algebras. Zbl 0776.68070
Lassez, J.-L.; Maher, M.; Marriott, K.
9
1991
Computational logic. Essays in honor of Alan Robinson. Zbl 0793.03002
Lassez, Jean-Louis; Plotkin, Gordon
3
1991
Practical tools for reasoning about linear constraints. Zbl 0764.68152
Huynh, Tien; Joskowicz, Leo; Lassez, Catherine; Lassez, Jean-Louis
2
1991
Most specific logic programs. Zbl 0878.68036
Marriott, K.; Naish, L.; Lassez, J.-L.
5
1990
Reasoning about linear constraints using parametric queries. Zbl 0733.68080
Huynh, Tien; Joskowicz, Leo; Lassez, Catherine; Lassez, Jean-Louis
1
1990
Unification revisited. Zbl 0645.68046
Lassez, J.-L.; Maher, M. J.; Marriott, K.
59
1988
Explicit representation of terms defined by counter examples. Zbl 0641.68124
Lassez, J.-L.; Marriott, K.
20
1987
Maximal unifiable subsets and minimal non-unifiable subsets. Zbl 0591.68083
Chen, T. Y.; Lassez, J.-L.; Port, G. S.
2
1986
Comments on ”General failure of logic programs”. Zbl 0596.68014
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J.
1
1986
Optimal fixedpoints of logic programs. Zbl 0584.68029
Lassez, J.-L.; Maher, M. J.
9
1985
Closures and fairness in the semantics of programming logic. Zbl 0547.68034
Lassez, J.-L.; Maher, M. J.
27
1984
A theory of complete logic programs with equality. Zbl 0584.68021
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J.
10
1984
Fixed point theorems and semantics: A folk tale. Zbl 0488.68015
Lassez, J.-L.; Nguyen, V. L.; Sonenberg, E. A.
23
1982
Prefix properties and equations in the monoid of languages. Zbl 0412.20054
Lassez, J. L.; Shyr, H. J.
1
1978
Circular codes and synchronization. Zbl 0401.68050
Lassez, J.-L.
15
1976
A correspondence on strongly prefix codes. Zbl 0307.94015
Lassez, J. L.
1
1975
Prefix codes and isomorphic automata. Zbl 0273.94053
Lassez, J. L.
1
1973
On the structure of systematic prefix codes. Zbl 0262.68018
Lassez, Jean-Louis
2
1972
all top 5

Cited by 283 Authors

12 Michel, Christian J.
10 Lassez, Jean-Louis
7 Alpuente, María
7 Maher, Michael J.
7 Pirillo, Giuseppe
5 Levi, Giorgio
5 Meseguer Guaita, José
5 Moreno, Ginés
5 Pichler, Reinhard
5 Subrahmanian, V. S.
4 Penabad, Jaime
3 Courcelle, Bruno
3 Delahaye, Jean-Paul
3 Escobar, Santiago
3 Falaschi, Moreno
3 Gabbrielli, Maurizio
3 Hölldobler, Steffen
3 Julián, Pascual
3 Koubarakis, Manolis
3 Marriott, Kim
3 McAloon, Kenneth
3 Nerode, Anil
3 Palamidessi, Catuscia
3 Ranzato, Francesco
3 Stuckey, Peter James
3 Thielscher, Michael
3 Weidenbach, Christoph
2 Armando, Alessandro
2 Baader, Franz
2 Ballis, Demis
2 Banerjee, Rabindra N.
2 Baratella, Stefano
2 Blair, Howard A.
2 Bossi, Annalisa
2 Bruynooghe, Maurice
2 Bujosa, Andrés
2 Comon, Hubert
2 De Schreye, Danny
2 den Hertog, Dick
2 Devolder, Jeanne
2 Etalle, Sandro
2 Ferreira, Orizon Pereira
2 Filé, Gilberto
2 Frechina, Francisco
2 Giacobazzi, Roberto
2 Gottlob, Georg
2 Greenberg, Harvey Joel
2 Jaffar, Joxan
2 Kagan, Vadim
2 Lescanne, Pierre
2 Meo, Maria Chiara
2 Németh, Sándor Zoltán
2 Ojeda, Pedro
2 Pigozzi, Don Leonard
2 Pirillo, Mario A.
2 Rusinowitch, Michaël
2 Sapiña, Julia
2 Simon, Axel
2 Skeirik, Stephen
2 Smolka, Gert
2 Subramani, Krishnan
2 Vidal, Germán
2 Winsborough, William H.
2 Zantema, Hans
2 Zhen, Jianzhe
1 Afrati, Foto N.
1 Aït-Kaci, Hassan
1 Alagi, Gábor
1 Albert, Elvira
1 Albert, Luc
1 Ambler, Simon J.
1 Ancona, Davide
1 Anellis, Irving H.
1 Aquilano, C.
1 Artemov, Sergei
1 Backhouse, Roland C.
1 Backofen, Rolf
1 Bäckström, Christer
1 Badban, Bahareh
1 Bagnara, Roberto
1 Bahi, Jacques Mohcine
1 Barbuti, Roberto
1 Barrios, Jorge
1 Bellia, Marco
1 Bidoit, Nicole
1 Billington, David
1 Blanc, Georges
1 Bleuzen-Guernalec, Noëlle
1 Bocchetti, P.
1 Bonnier, Staffan
1 Boulanger, Dmitri
1 Bracho, Felipe
1 Brogi, Antonio
1 Brown, Allen L. jun.
1 Brzoska, Christoph
1 Bueno, Francisco
1 Buj, Dmytro B.
1 Caferra, Ricardo
1 Canham, Samuel
1 Casas, Rafael
...and 183 more Authors
all top 5

Cited in 47 Serials

68 Theoretical Computer Science
13 Journal of Symbolic Computation
11 Annals of Mathematics and Artificial Intelligence
9 Information and Computation
9 Journal of Automated Reasoning
7 New Generation Computing
5 Artificial Intelligence
4 Journal of Theoretical Biology
3 Acta Informatica
3 Fuzzy Sets and Systems
3 RAIRO. Informatique Théorique et Applications
3 The Journal of Logic and Algebraic Programming
2 Information Processing Letters
2 Information Sciences
2 Journal of Computer and System Sciences
2 Annals of Pure and Applied Logic
2 Formal Aspects of Computing
2 Cybernetics and Systems Analysis
2 Constraints
2 Computational Biology and Chemistry
1 Computers & Mathematics with Applications
1 Bulletin of Mathematical Biology
1 International Journal of Computer & Information Sciences
1 Operations Research
1 Semigroup Forum
1 Studia Logica
1 Systems & Control Letters
1 Operations Research Letters
1 SIAM Journal on Discrete Mathematics
1 Annals of Operations Research
1 International Journal of Computer Mathematics
1 Linear Algebra and its Applications
1 Applicable Algebra in Engineering, Communication and Computing
1 Journal of Functional Programming
1 INFORMS Journal on Computing
1 Doklady Mathematics
1 Higher-Order and Symbolic Computation
1 RAIRO. Theoretical Informatics and Applications
1 Theory and Practice of Logic Programming
1 Journal of Zhejiang University. Science A
1 Logica Universalis
1 Optimization Letters
1 Journal of Physics A: Mathematical and Theoretical
1 Logical Methods in Computer Science
1 International Journal of Combinatorics
1 ISRN Biomathematics
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year