- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Logical Methods in Computer Science, 7, 1, S. 1-29
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg
- (wer)
-
Universität Augsburg
- (wann)
-
2018
- Urheber
- URN
-
urn:nbn:de:bvb:384-opus4-389300
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Desharnais, Jules
- Möller, Bernhard
- Struth, Georg
- Universität Augsburg
Entstanden
- 2018
Ähnliche Objekte (12)
Algebraic Notions of Termination
An Algebraic Study of Commutation and Termination
Termination of the Iterative Proportional Fitting Procedure
Termination of Ground Non-Symmetric Knuth-Bendix Completion
Algebraic Aspects of Separation Logic
Completeness and Termination of SLDNF-Resolution and Determination of a Selection function using Mode
Algebraic Structure of Web Services
Termination in Modal Kleene Algebra
An Algebraic Approach to Systolic Circuits
Towards Algebraic descriptions of Formal Concept and Rough Set Analysis
Algebraic Optimization of Relational Preference Queries
Attributed algebraic specifications
Algebraic Notions of Termination
An Algebraic Study of Commutation and Termination
Termination of the Iterative Proportional Fitting Procedure
Termination of Ground Non-Symmetric Knuth-Bendix Completion
Algebraic Aspects of Separation Logic
Completeness and Termination of SLDNF-Resolution and Determination of a Selection function using Mode
Algebraic Structure of Web Services
Termination in Modal Kleene Algebra
An Algebraic Approach to Systolic Circuits
Towards Algebraic descriptions of Formal Concept and Rough Set Analysis
Algebraic Optimization of Relational Preference Queries
Attributed algebraic specifications
Algebraic Notions of Termination
An Algebraic Study of Commutation and Termination
Termination of the Iterative Proportional Fitting Procedure
Termination of Ground Non-Symmetric Knuth-Bendix Completion
Algebraic Aspects of Separation Logic
Completeness and Termination of SLDNF-Resolution and Determination of a Selection function using Mode
Algebraic Structure of Web Services
Termination in Modal Kleene Algebra
An Algebraic Approach to Systolic Circuits
Towards Algebraic descriptions of Formal Concept and Rough Set Analysis
Algebraic Optimization of Relational Preference Queries