delq,qgms,qpro和NELG Haskell /演示脚本,脚本NELG合金分析仪
资 源 简 介
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