Universite Paris Sud, LRI, Orsay, France;
CNRS, Universite Paris Sud, LRI, Orsay, France;
Universite Paris Sud, LRI, Orsay, France;
Universite Paris Sud, LRI, Orsay, France;
机译:Coq中可编程逻辑控制器计时器的形式化和验证
机译:公鸡的形式化和高中几何课程的可视化
机译:使用LII1 / 2模糊逻辑对PFSQL查询进行形式化
机译:SQL执行引擎的COQ正式化
机译:SQL查询反汇编程序:一种管理大型SQL查询执行的方法。
机译:矩形SQL协调网络的水晶工程使二甲苯选择性对乙苯的选择性
机译:重新思考Coq的真实库:朝着更适合经典分析的形式发展