Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-11(1:19)2015
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

On the Decidability of MSO+U on Infinite Trees

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Some Properties of Real Functions of Two Variables and Some Consequences

Fundamenta Mathematicae
Number TheoryAlgebra
1972English

Limitations and Mechanisms of Height Growth in Trees

Journal of the Japanese Forest Society
2008English

Some Discriminative Properties of Fixed Ratio Performance in the Pigeon1

Journal of the Experimental Analysis of Behavior
Behavioral NeuroscienceExperimentalCognitive Psychology
1966English

The Computable Dimension of I-Trees of Infinite Height

Algebra and Logic
Number TheoryLogicAnalysisAlgebra
2004English

Measurement and Calibration of Plant-Height From Fixed-Wing UAV Images

Sensors
InstrumentationInformation SystemsElectronic EngineeringBiochemistryAnalytical ChemistryMolecular Physics,ElectricalAtomicMedicineOptics
2018English

Properties of Random Triangulations and Trees

Discrete and Computational Geometry
CombinatoricsMathematicsGeometryDiscrete MathematicsComputational TheoryTopologyTheoretical Computer Science
1999English

Some Consequences of Stereoscopic Depth Constancy

Perception & Psychophysics
1979English

Approximating Fixed Points of Some Mappings

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1981English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy