The following pages link to Solange Coupet-Grimal (Q857882):
Displaying 10 items.
- An effective proof of the well-foundedness of the multiset path ordering (Q857884) (← links)
- Certifying circuits in type theory (Q1764432) (← links)
- On the use of advanced logic programming languages in computational linguistics (Q3125897) (← links)
- (Q3839066) (← links)
- Prolog infinite trees and automata (Q3991295) (← links)
- An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions (Q4812313) (← links)
- Formal Verification of an Incremental Garbage Collector (Q4812315) (← links)
- Computer Science Logic (Q5311262) (← links)
- Types for Proofs and Programs (Q5898176) (← links)
- Coq and hardware verification: a case study (Q6567708) (← links)
