Conclusions (English)
- New search for: Mauro, Jacopo
- New search for: Mauro, Jacopo
In:
Constraints Meet Concurrency
;
Chapter: 11
;
127-129
;
2014
- Article/Chapter (Book) / Electronic Resource
-
Title:Conclusions
-
Additional title:Atlantis Studies in Computing
-
Contributors:Mauro, Jacopo ( author )
-
Published in:Constraints Meet Concurrency ; Chapter: 11 ; 127-129Atlantis Studies in Computing ; 5 ; 127-129
-
Publisher:
- New search for: Atlantis Press
-
Place of publication:Paris
-
Publication date:2014-02-12
-
Size:3 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
IntroductionMauro, Jacopo et al. | 2014
- 2
-
ConstraintsMauro, Jacopo et al. | 2014
- 3
-
ConcurrencyMauro, Jacopo et al. | 2014
- 4
-
Constraint Handling RulesMauro, Jacopo et al. | 2014
- 5
-
Non Turing Powerful Fragments of CHRMauro, Jacopo et al. | 2014
- 6
-
Expressive Power of Priorities in CHRMauro, Jacopo et al. | 2014
- 7
-
Constraints in CloudsMauro, Jacopo et al. | 2014
- 8
-
A Classification-Based Approach to Manage a Solver PortfolioMauro, Jacopo et al. | 2014
- 9
-
Broadcast Messages in JolieMauro, Jacopo et al. | 2014
- 10
-
Interruptible Request Responses in JolieMauro, Jacopo et al. | 2014
- 11
-
ConclusionsMauro, Jacopo et al. | 2014