Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andreas Schnabl
The Derivational Complexity Induced by the Dependency Pair Method
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Reducing Relative Termination to Dependency Pair Problems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Complexity of Non-Projective Data-Driven Dependency Parsing
Receiver-Pair Seismic Interferometry and the Cosine Method
The Complexity of Induced Tree Reconfiguration Problems
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Canonical Derivational Morphology1
Word Structure
Linguistics
Language
Figure 3: The Phylogenetic Tree Generated by the DA Distance and the Unweighted Pair-Group Method With Arithmetic Means Method (UPGMA).
The Complexity of Predicting Climate-Induced Ecological Impacts
Climate Research
Environmental Chemistry
Atmospheric Science
Environmental Science
Species- And Temperature-Dependency of the Decrease in Myofilament Ca2+ Sensitivity Induced by .BETA.-Adrenergic Stimulation.
The Japanese Journal of Pharmacology
A Method for Measuring the Complexity of Image Databases
IEEE Transactions on Multimedia
Electronic Engineering
Media Technology
Computer Science Applications
Electrical
Signal Processing
