- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 01, Utrecht, The Netherlands, May 22-24, 2001.- Berlin: Springer, 2001. (Lecture Notes in Computer Science; 2051), pp. 31-46
- Classification
-
Informatik
- Keyword
-
Constraint-logische Programmierung
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2004
- Contributor
- URN
-
urn:nbn:de:bsz:291-scidok-2981
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:58 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Bodirsky, Manuel
- Erk, Katrin
- Koller, Alexander
- Niehren, Joachim
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2004
Other Objects (12)
Underspecified beta reduction
BCR : balance constraints reduction system ; technical report
Constraints on subleading interactions in beta decay Lagrangian
Decentralisation in Uganda: Exploring the Constraints for Poverty Reduction
Decentralisation in Uganda : exploring the constraints for poverty reduction
A reduction formula for a q-beta integral
Reduction of radiation pneumonitis by V20-constraints in breast cancer
Higher order constraints for the ( $$\beta $$ β -deformed) Hermitian matrix models
Yang-Mills and Dirac fields in a bag, constraints and reduction
Constraints on NJL four-fermion effective interactions from neutrinoless double beta decay
Macroeconomic constraints on economic development and poverty reduction: the case of Bolivia
Macroeconomic constraints on economic development and poverty reduction : the case of Bolivia
Underspecified beta reduction
BCR : balance constraints reduction system ; technical report
Constraints on subleading interactions in beta decay Lagrangian
Decentralisation in Uganda: Exploring the Constraints for Poverty Reduction
Decentralisation in Uganda : exploring the constraints for poverty reduction
A reduction formula for a q-beta integral
Reduction of radiation pneumonitis by V20-constraints in breast cancer
Higher order constraints for the ( $$\beta $$ β -deformed) Hermitian matrix models
Yang-Mills and Dirac fields in a bag, constraints and reduction
Constraints on NJL four-fermion effective interactions from neutrinoless double beta decay
Macroeconomic constraints on economic development and poverty reduction: the case of Bolivia
Macroeconomic constraints on economic development and poverty reduction : the case of Bolivia
Underspecified beta reduction
BCR : balance constraints reduction system ; technical report
Constraints on subleading interactions in beta decay Lagrangian
Decentralisation in Uganda: Exploring the Constraints for Poverty Reduction
Decentralisation in Uganda : exploring the constraints for poverty reduction
A reduction formula for a q-beta integral
Reduction of radiation pneumonitis by V20-constraints in breast cancer
Higher order constraints for the ( $$\beta $$ β -deformed) Hermitian matrix models
Yang-Mills and Dirac fields in a bag, constraints and reduction
Constraints on NJL four-fermion effective interactions from neutrinoless double beta decay
Macroeconomic constraints on economic development and poverty reduction: the case of Bolivia