Solange Coupet-Grimal

From MaRDI portal
Person:857882

Available identifiers

zbMath Open coupet-grimal.solangeMaRDI QIDQ857882

List of research outcomes





PublicationDate of PublicationType
Coq and hardware verification: a case study2024-07-05Paper
An effective proof of the well-foundedness of the multiset path ordering2007-01-05Paper
Types for Proofs and Programs2006-11-13Paper
Computer Science Logic2005-08-22Paper
Certifying circuits in type theory2005-02-24Paper
An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions2004-09-07Paper
Formal Verification of an Incremental Garbage Collector2004-09-07Paper
https://portal.mardi4nfdi.de/entity/Q38390661999-10-11Paper
On the use of advanced logic programming languages in computational linguistics1997-07-06Paper
Prolog infinite trees and automata1992-06-28Paper

Research outcomes over time

This page was built for person: Solange Coupet-Grimal

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:857882&oldid=7785776"
Powered by MediaWiki