首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > delq,qgms,qpro和NELG Haskell /演示脚本,脚本NELG合金分析仪

delq,qgms,qpro和NELG Haskell /演示脚本,脚本NELG合金分析仪

  • 资源大小:29.44 kB
  • 上传时间:2021-06-30
  • 下载次数:0次
  • 浏览次数:1次
  • 资源积分:1积分
  • 标      签: haskell DELQ Alloy

资 源 简 介

DELQ - the implementation of Dynamic Questioning Logic QGMS - the implementation of Strategic Questioning Games QPRO - the implementation for a Probabilistic extension of DELQ NELG - Haskell code computing Nash Equilibria in the Location Game NELG - Alloy Analyzer script for Local Properties in LG on a line

文 件 列 表

BinaryRel.hs
DELQ.hs
Display.hs
ListUtils.hs
Probability.hs
QPRO.lhs
Semantics.hs
Shortcuts.hs
Show.hs
Structures.hs
Syntax.hs
Upgrade.hs

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP