- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1432-1785
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Derived completion for comodules ; day:2 ; month:1 ; year:2019 ; pages:1-30
Manuscripta mathematica ; (2.1.2019), 1-30
- Creator
-
Barthel, Tobias
Heard, Drew
Valenzuela, Gabriel
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00229-018-1094-0
- URN
-
urn:nbn:de:101:1-2019020723223680748329
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:00 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
- Barthel, Tobias
- Heard, Drew
- Valenzuela, Gabriel
- SpringerLink (Online service)
Other Objects (12)
Term completion versus algebraic completion
Proof Lengths for Equational Completion
Univalent completion
Recurrent computations for visual pattern completion
Abstract completion for non-compatible rewrite relations
Auto-completion assistance for UML modeling activities
Completion norms for 3085 English sentence contexts
Triple Classification for Scholarly Knowledge Graph Completion
Neural shape completion for personalized Maxillofacial surgery
Automatic Label Completion for Test Field Calibration
Completion and deficiency problems
Amodal completion and relationalism
Term completion versus algebraic completion
Proof Lengths for Equational Completion
Univalent completion
Recurrent computations for visual pattern completion
Abstract completion for non-compatible rewrite relations
Auto-completion assistance for UML modeling activities
Completion norms for 3085 English sentence contexts
Triple Classification for Scholarly Knowledge Graph Completion
Neural shape completion for personalized Maxillofacial surgery
Automatic Label Completion for Test Field Calibration
Completion and deficiency problems
Amodal completion and relationalism
Term completion versus algebraic completion
Proof Lengths for Equational Completion
Univalent completion
Recurrent computations for visual pattern completion
Abstract completion for non-compatible rewrite relations
Auto-completion assistance for UML modeling activities
Completion norms for 3085 English sentence contexts
Triple Classification for Scholarly Knowledge Graph Completion
Neural shape completion for personalized Maxillofacial surgery
Automatic Label Completion for Test Field Calibration
Completion and deficiency problems