The following pages link to David Chemouil (Q821563):
Displaying 14 items.
- A decidable and expressive fragment of Many-Sorted first-order linear temporal logic (Q821564) (← links)
- Sound verification procedures for temporal properties of infinite-state systems (Q832273) (← links)
- On finite domains in first-order linear temporal logic (Q1990508) (← links)
- Pardinus: a temporal relational model finder (Q2102939) (← links)
- A logic with revocable and refinable strategies (Q2346411) (← links)
- Evaluating the Assignment of Behavioral Goals to Coalitions of Agents (Q2798044) (← links)
- A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic (Q3098057) (← links)
- Isomorphisms of simple inductive types through extensional rewriting (Q3372685) (← links)
- (Q3388748) (← links)
- An insertion operator preserving infinite reduction sequences (Q3520149) (← links)
- Remarks on Isomorphisms of Simple Inductive Types (Q4924549) (← links)
- (Q5395259) (← links)
- Types for Proofs and Programs (Q5712316) (← links)
- A bounded domain property for an expressive fragment of first-order linear temporal logic (Q6487559) (← links)
