Publication | Closed Access

Sequential algorithms on concrete data structures

Dynamic Data StructureEngineeringSequential AlgorithmsAlgorithm DesignAutomated ReasoningFormal MethodsSequential AlgorithmComputational ComplexityComputer ScienceData Modeling