The following pages link to Denys Duchier (Q1768800):
Displayed 14 items.
- Configuration of labeled trees under lexicalized constraints and principles (Q1768801) (← links)
- Dominance constraints with Boolean connectives: A model-eliminative treatment (Q1870570) (← links)
- (Q2767066) (← links)
- (Q2768386) (← links)
- Computing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants (Q2898055) (← links)
- XMG 2: Describing Description Languages (Q2964010) (← links)
- A Model-Theoretic Framework for Grammaticality Judgements (Q2999251) (← links)
- Fractal Parallelism: Solving SAT in Bounded Space and Time (Q3060740) (← links)
- Property Grammar Parsing Seen as a Constraint Optimization Problem (Q3167302) (← links)
- (Q3804241) (← links)
- An efficient graph algorithm for dominance constraints (Q4458877) (← links)
- Logic programming in the context of multiparadigm programming: the Oz experience (Q4819002) (← links)
- Lexicalized Syntax and Topology for Non-projective Dependency Grammar (Q4923556) (← links)
- (Q5501243) (← links)