-
Reasoning on words and trees with data
A data word (resp. a data tree) is a fi-nite word (resp. tree) whose every position carries a letter from a fi-nite alphabet and a datum form an... -
Efficient Reasoning about Data Trees via Integer Linear Programming
International audience -
State space exploration of spatially organized populations of agents
International audience -
Efficient Reasoning about Data Trees via Integer Linear Programming
International audience
