Metadata
Author: ParaCrawl Corpus
Data
English[en]
This calculus is expressive enough to capture regular tree types along with multi-directional navigation in trees, while having a single exponential time complexity.
French[fr]
Cette logique est suffisamment expressive pour prendre en compte les langages réguliers d'arbres ainsi que la navigation multidirectionnelle dans les arbres, tout en ayant une complexité simplement exponentielle.