- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
[Wadern]
- (who)
-
[Internat. Begegnungs- und Forschungszentrum für Informatik]
- (when)
-
[2006]
- Contributor
- URN
-
urn:nbn:de:0030-drops-4280
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 14.08.2025, 10:44 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
- Ehrig, Hartmut
- Ehrig, Karsten
- Taentzer, Gabriele
- Lara, Juan de
- Varró, Dániel
- Varró-Gyapai, Szilvia
- [Internat. Begegnungs- und Forschungszentrum für Informatik]
Time of origin
- [2006]
Other Objects (12)
New Abstract Criteria for Termination and Confluence of Conditional Rewrite Systems
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Convergence behavior of single-step GBLUP and SNPBLUP for different termination criteria
Termination of cycle rewriting by transformation and matrix interpretation
Adult “termination-of-resuscitation” (TOR)-criteria may not be suitable for children - a retrospective analysis
Adult "Termination-of-resuscitation" (TOR)-criteria may not be suitable for children : a retrospective analysis
GEL criteria for moment condition models
Termination proofs for logic programs
Termination proofs for logic programs
Continuous semantics for termination proofs
Relative Termination
Opportunistic Termination
New Abstract Criteria for Termination and Confluence of Conditional Rewrite Systems
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Convergence behavior of single-step GBLUP and SNPBLUP for different termination criteria
Termination of cycle rewriting by transformation and matrix interpretation
Adult “termination-of-resuscitation” (TOR)-criteria may not be suitable for children - a retrospective analysis
Adult "Termination-of-resuscitation" (TOR)-criteria may not be suitable for children : a retrospective analysis
GEL criteria for moment condition models
Termination proofs for logic programs
Termination proofs for logic programs
Continuous semantics for termination proofs
Relative Termination
Opportunistic Termination
New Abstract Criteria for Termination and Confluence of Conditional Rewrite Systems
Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version
Convergence behavior of single-step GBLUP and SNPBLUP for different termination criteria
Termination of cycle rewriting by transformation and matrix interpretation
Adult “termination-of-resuscitation” (TOR)-criteria may not be suitable for children - a retrospective analysis
Adult "Termination-of-resuscitation" (TOR)-criteria may not be suitable for children : a retrospective analysis
GEL criteria for moment condition models
Termination proofs for logic programs
Termination proofs for logic programs
Continuous semantics for termination proofs
Relative Termination