- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Extraction of Expansion Trees ; day:27 ; month:1 ; year:2018 ; pages:1-38
Journal of automated reasoning ; (27.1.2018), 1-38
- Creator
-
Leitsch, Alexander
- Contributor
-
Lolić, Anela
SpringerLink (Online service)
- DOI
-
10.1007/s10817-018-9453-9
- URN
-
urn:nbn:de:101:1-2018090608053681250628
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:21 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
- Leitsch, Alexander
- Lolić, Anela
- SpringerLink (Online service)
Other Objects (12)
Safe tree felling using expansion agent
Expansion of all multitrace tree level EYM amplitudes
Extraction of Unfoliaged Trees from Terrestrial Image Sequences
Dark Vitality (Trees expand their green expansion)
Embedding and extraction of knowledge in tree ensemble classifiers
Extraction of semantic relations from text with tree kernel methods
Rule extraction for multi bottom-up tree transducers
Extraction and characterization of bark fibers from Ethiopian Ficus thonningii tree
TeKET: a Tree-Based Unsupervised Keyphrase Extraction Technique
Program verification by inductive expansion : tree balancing and graph traversal
Integer programming-based method for grammar-based tree compression and its application to pattern extraction of glycan tree structures
An international comparison of individual tree detection and extraction using airborne laser scanning
Safe tree felling using expansion agent
Expansion of all multitrace tree level EYM amplitudes
Extraction of Unfoliaged Trees from Terrestrial Image Sequences
Dark Vitality (Trees expand their green expansion)
Embedding and extraction of knowledge in tree ensemble classifiers
Extraction of semantic relations from text with tree kernel methods
Rule extraction for multi bottom-up tree transducers
Extraction and characterization of bark fibers from Ethiopian Ficus thonningii tree
TeKET: a Tree-Based Unsupervised Keyphrase Extraction Technique
Program verification by inductive expansion : tree balancing and graph traversal
Integer programming-based method for grammar-based tree compression and its application to pattern extraction of glycan tree structures
An international comparison of individual tree detection and extraction using airborne laser scanning
Safe tree felling using expansion agent
Expansion of all multitrace tree level EYM amplitudes
Extraction of Unfoliaged Trees from Terrestrial Image Sequences
Dark Vitality (Trees expand their green expansion)
Embedding and extraction of knowledge in tree ensemble classifiers
Extraction of semantic relations from text with tree kernel methods
Rule extraction for multi bottom-up tree transducers
Extraction and characterization of bark fibers from Ethiopian Ficus thonningii tree
TeKET: a Tree-Based Unsupervised Keyphrase Extraction Technique
Program verification by inductive expansion : tree balancing and graph traversal
Integer programming-based method for grammar-based tree compression and its application to pattern extraction of glycan tree structures