The Derivational Complexity Induced by the Dependency Pair Method

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-7(3:1)2011
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Reducing Relative Termination to Dependency Pair Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

On the Complexity of Non-Projective Data-Driven Dependency Parsing

2007English

Receiver-Pair Seismic Interferometry and the Cosine Method

2013English

The Complexity of Induced Tree Reconfiguration Problems

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2019English

Canonical Derivational Morphology1

Word Structure
LinguisticsLanguage
2010English

Figure 3: The Phylogenetic Tree Generated by the DA Distance and the Unweighted Pair-Group Method With Arithmetic Means Method (UPGMA).

English

The Complexity of Predicting Climate-Induced Ecological Impacts

Climate Research
Environmental ChemistryAtmospheric ScienceEnvironmental Science
2007English

Species- And Temperature-Dependency of the Decrease in Myofilament Ca2+ Sensitivity Induced by .BETA.-Adrenergic Stimulation.

The Japanese Journal of Pharmacology
2001English

A Method for Measuring the Complexity of Image Databases

IEEE Transactions on Multimedia
Electronic EngineeringMedia TechnologyComputer Science ApplicationsElectricalSignal Processing
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy