PSPACE (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "PSPACE" in French language version.

refsWebsite
Global rank French rank
2nd place
3rd place
1,185th place
1,318th place
57th place
4th place
149th place
80th place
332nd place
685th place
652nd place
741st place
274th place
223rd place
low place
low place
3,341st place
5,385th place

acm.org (Global: 1,185th place; French: 1,318th place)

doi.acm.org

dl.acm.org

  • (en) Robert Aubrey Hearn, « Games, puzzles, and computation », Massachusetts Institute of Technology (Thèse),‎ (lire en ligne, consulté le )
  • Wojciech Plandowski, « Satisfiability of Word Equations with Constants is in PSPACE », Proceedings of the 40th Annual Symposium on Foundations of Computer Science, IEEE Computer Society, fOCS '99,‎ , p. 495– (ISBN 9780769504094, lire en ligne, consulté le )

portal.acm.org

cornell.edu (Global: 332nd place; French: 685th place)

ecommons.cornell.edu

  • H. B., III Hunt, « On the time and tape complexity of languages. I », dans Fifth Annual ACM Symposium on Theory of Computing (Austin, Tex., 1973), (lire en ligne), p. 10-19.

doi.org (Global: 2nd place; French: 3rd place)

dx.doi.org

  • Ashok K. Chandra, Dexter C. Kozen et Larry J. Stockmeyer, « Alternation », J. ACM, vol. 28,‎ , p. 114–133 (ISSN 0004-5411, DOI 10.1145/322234.322243, lire en ligne, consulté le )
  • D. Kozen, « Lower bounds for natural proof systems », 18th Annual Symposium on Foundations of Computer Science (sfcs 1977),‎ , p. 254–266 (DOI 10.1109/SFCS.1977.16, lire en ligne, consulté le ) :

    « Def. 3.2.2 et Lemma 3.2.3, p. 261 »

  • (en) « The computational complexity of propositional STRIPS planning », Artificial Intelligence, vol. 69, nos 1-2,‎ , p. 165–204 (ISSN 0004-3702, DOI 10.1016/0004-3702(94)90081-7, lire en ligne, consulté le )
  • Thomas J. Schaefer, « On the complexity of some two-person perfect-information games », Journal of Computer and System Sciences, vol. 16, no 2,‎ , p. 185–225 (ISSN 0022-0000, DOI 10.1016/0022-0000(78)90045-4, lire en ligne, consulté le )
  • (en) Christos H. Papadimitriou et Mihalis Yannakakis, « Shortest paths without a map », Automata, Languages and Programming, Springer Berlin Heidelberg, lecture Notes in Computer Science,‎ , p. 610–620 (ISBN 9783540462019, DOI 10.1007/bfb0035787, lire en ligne, consulté le )
  • John Canny, « Some Algebraic and Geometric Computations in PSPACE », Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, ACM, sTOC '88,‎ , p. 460–467 (ISBN 9780897912648, DOI 10.1145/62212.62257, lire en ligne, consulté le )

ieee.org (Global: 652nd place; French: 741st place)

ieeexplore.ieee.org

  • D. Kozen, « Lower bounds for natural proof systems », 18th Annual Symposium on Foundations of Computer Science (sfcs 1977),‎ , p. 254–266 (DOI 10.1109/SFCS.1977.16, lire en ligne, consulté le ) :

    « Def. 3.2.2 et Lemma 3.2.3, p. 261 »

issn.org (Global: 57th place; French: 4th place)

portal.issn.org

man.ac.uk (Global: low place; French: low place)

cs.man.ac.uk

  • (en) Richard E. Ladner, The computational complexity of provability in systems of modal propositional logic, SIAM journal on computing, (lire en ligne), p. 467--480.

sciencedirect.com (Global: 149th place; French: 80th place)

springer.com (Global: 274th place; French: 223rd place)

link.springer.com

  • (en) Christos H. Papadimitriou et Mihalis Yannakakis, « Shortest paths without a map », Automata, Languages and Programming, Springer Berlin Heidelberg, lecture Notes in Computer Science,‎ , p. 610–620 (ISBN 9783540462019, DOI 10.1007/bfb0035787, lire en ligne, consulté le )

umass.edu (Global: 3,341st place; French: 5,385th place)

people.cs.umass.edu