@article{dmtcs:3468,
    title      = {Non-Determinism and Nash Equilibria for Sequential Game over Partial Order},
    author     = {Stéphane Le Roux},
    url        = {https://dmtcs.episciences.org/3468},
    doi        = {10.46298/dmtcs.3468},
    journal    = {Discrete Mathematics \& Theoretical Computer Science},
    issn       = {1365-8050},
    volume     = {DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05)},
    issuetitle = {Proceedings},
    eid        = 1,
    year       = {2005},
    month      = {Jan},
    keywords   = {Nash equilibrium, sequential game, non-determinism, partial order, constructive, proof assistant, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]},
    language   = {English},
}