Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(47)
Ralf Treinen
3
Jean-pierre Jouannaud
2
Harald Ganzinger
2
Gert Smolka
2
Claude Kirchner
2
Helmut Simonis
2
Hubert Comon-lundh
2
Leo Bachmair
1
Tomas E. Uribe (Tomás E. Uribe)
1
Mark Stickel
1
Keywords
(76)
Subscribe
Academic
Conferences
CCL - International Conference on Cluster, Cloud and Grid Computing
CCL - International Conference on Cluster, Cloud and Grid Computing
Publications: 34
|
Citation Count: 265 (Self-Citation: 5)
|
H-Index: 9Year Range: 1994-2001
Interests:
Programming Languages
Homepage
Add CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(34)
Constraints in Computational Logics: Theory and Applications, International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, Revised Lectures
Hubert Comon
,
Claude Marché
,
Ralf Treinen
Conference:
International Conference on Cluster, Cloud and Grid Computing - CCL
, 2001
Combining Constraint Solving
(
Citations: 6
)
Franz Baader
,
Klaus U. Schulz
Conference:
International Conference on Cluster, Cloud and Grid Computing - CCL
, pp. 104-158, 1999
Building Industrial Applications with Constraint Programming
(
Citations: 6
)
Helmut Simonis
Conference:
International Conference on Cluster, Cloud and Grid Computing - CCL
, pp. 271-309, 1999
Constraint Solving on Terms
(
Citations: 6
)
Hubert Comon
,
Claude Kirchner
Conference:
International Conference on Cluster, Cloud and Grid Computing - CCL
, pp. 47-103, 1999
Constraints and Theorem Proving
(
Citations: 1
)
Harald Ganzinger
,
Robert Nieuwenhuis
Conference:
International Conference on Cluster, Cloud and Grid Computing - CCL
, pp. 159-201, 1999