PSPACE (French Wikipedia)

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

refsWebsite

Global rank French rank

6doi.org

2^nd place

3^rd place

5acm.org

1,185^th place

1,318^th place

3issn.org

57^th place

4^th place

2sciencedirect.com

149^th place

80^th place

1cornell.edu

332^nd place

685^th place

1ieee.org

652^nd place

741^st place

1springer.com

274^th place

223^rd place

1man.ac.uk

low place

acm.org

doi.acm.org

Ashok K. Chandra, Dexter C. Kozen et Larry J. Stockmeyer, « Alternation », J. ACM, vol. 28,‎ 1^er janvier 1981, p. 114–133 (ISSN 0004-5411, DOI 10.1145/322234.322243, lire en ligne, consulté le 5 novembre 2016)
John Canny, « Some Algebraic and Geometric Computations in PSPACE », Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, ACM, sTOC '88,‎ 1988, p. 460–467 (ISBN 9780897912648, DOI 10.1145/62212.62257, lire en ligne, consulté le 24 juin 2019)

dl.acm.org

(en) Robert Aubrey Hearn, « Games, puzzles, and computation », Massachusetts Institute of Technology (Thèse),‎ 2016 (lire en ligne, consulté le 28 avril 2018)
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,‎ 1999, p. 495– (ISBN 9780769504094, lire en ligne, consulté le 24 juin 2019)

portal.acm.org

Adi Shamir, « IP = PSPACE », Journal of the ACM, vol. 39, n^o 4,‎ octobre 1992, p. 869-877 (lire en ligne)

cornell.edu

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), 1973 (lire en ligne), p. 10-19.

doi.org

dx.doi.org

Ashok K. Chandra, Dexter C. Kozen et Larry J. Stockmeyer, « Alternation », J. ACM, vol. 28,‎ 1^er janvier 1981, p. 114–133 (ISSN 0004-5411, DOI 10.1145/322234.322243, lire en ligne, consulté le 5 novembre 2016)
D. Kozen, « Lower bounds for natural proof systems », 18th Annual Symposium on Foundations of Computer Science (sfcs 1977),‎ octobre 1977, p. 254–266 (DOI 10.1109/SFCS.1977.16, lire en ligne, consulté le 8 juillet 2019) :
« Def. 3.2.2 et Lemma 3.2.3, p. 261 »
(en) « The computational complexity of propositional STRIPS planning », Artificial Intelligence, vol. 69, n^os 1-2,‎ 1^er septembre 1994, p. 165–204 (ISSN 0004-3702, DOI 10.1016/0004-3702(94)90081-7, lire en ligne, consulté le 28 février 2018)
Thomas J. Schaefer, « On the complexity of some two-person perfect-information games », Journal of Computer and System Sciences, vol. 16, n^o 2,‎ 1^er avril 1978, p. 185–225 (ISSN 0022-0000, DOI 10.1016/0022-0000(78)90045-4, lire en ligne, consulté le 10 juillet 2019)
(en) Christos H. Papadimitriou et Mihalis Yannakakis, « Shortest paths without a map », Automata, Languages and Programming, Springer Berlin Heidelberg, lecture Notes in Computer Science,‎ 1989, p. 610–620 (ISBN 9783540462019, DOI 10.1007/bfb0035787, lire en ligne, consulté le 10 juillet 2019)
John Canny, « Some Algebraic and Geometric Computations in PSPACE », Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, ACM, sTOC '88,‎ 1988, p. 460–467 (ISBN 9780897912648, DOI 10.1145/62212.62257, lire en ligne, consulté le 24 juin 2019)

ieee.org

ieeexplore.ieee.org

D. Kozen, « Lower bounds for natural proof systems », 18th Annual Symposium on Foundations of Computer Science (sfcs 1977),‎ octobre 1977, p. 254–266 (DOI 10.1109/SFCS.1977.16, lire en ligne, consulté le 8 juillet 2019) :
« Def. 3.2.2 et Lemma 3.2.3, p. 261 »

issn.org

portal.issn.org

Ashok K. Chandra, Dexter C. Kozen et Larry J. Stockmeyer, « Alternation », J. ACM, vol. 28,‎ 1^er janvier 1981, p. 114–133 (ISSN 0004-5411, DOI 10.1145/322234.322243, lire en ligne, consulté le 5 novembre 2016)
(en) « The computational complexity of propositional STRIPS planning », Artificial Intelligence, vol. 69, n^os 1-2,‎ 1^er septembre 1994, p. 165–204 (ISSN 0004-3702, DOI 10.1016/0004-3702(94)90081-7, lire en ligne, consulté le 28 février 2018)
Thomas J. Schaefer, « On the complexity of some two-person perfect-information games », Journal of Computer and System Sciences, vol. 16, n^o 2,‎ 1^er avril 1978, p. 185–225 (ISSN 0022-0000, DOI 10.1016/0022-0000(78)90045-4, lire en ligne, consulté le 10 juillet 2019)

man.ac.uk

cs.man.ac.uk

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

sciencedirect.com

(en) « The computational complexity of propositional STRIPS planning », Artificial Intelligence, vol. 69, n^os 1-2,‎ 1^er septembre 1994, p. 165–204 (ISSN 0004-3702, DOI 10.1016/0004-3702(94)90081-7, lire en ligne, consulté le 28 février 2018)
Thomas J. Schaefer, « On the complexity of some two-person perfect-information games », Journal of Computer and System Sciences, vol. 16, n^o 2,‎ 1^er avril 1978, p. 185–225 (ISSN 0022-0000, DOI 10.1016/0022-0000(78)90045-4, lire en ligne, consulté le 10 juillet 2019)

springer.com

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,‎ 1989, p. 610–620 (ISBN 9783540462019, DOI 10.1007/bfb0035787, lire en ligne, consulté le 10 juillet 2019)