Fórmula booliana totalmente quantificada (Portuguese Wikipedia)

Analysis of information sources in references of the Wikipedia article "Fórmula booliana totalmente quantificada" in Portuguese language version.

refsWebsite

Global rank Portuguese rank

1,185^th place

1,301^st place

5^th place

2^nd place

4^th place

1,933^rd place

1,899^th place

acm.org

Chandra, Ashok K.; Kozen, Dexter C.; Stockmeyer, Larry J. (1 de janeiro de 1981). «Alternation». Journal of the ACM (1): 114–133. ISSN 0004-5411. doi:10.1145/322234.322243. Consultado em 25 de maio de 2024

Adi Shamir (1992). "Ip = Pspace". Journal of the ACM 39 (4): 869–877. doi:10.1145/146585.146609. http://portal.acm.org/citation.cfm?doid=146585.146609.

Chandra, Ashok K.; Kozen, Dexter C.; Stockmeyer, Larry J. (1 de janeiro de 1981). «Alternation». Journal of the ACM (1): 114–133. ISSN 0004-5411. doi:10.1145/322234.322243. Consultado em 25 de maio de 2024

Aspvall, Bengt; Plass, Michael F.; Tarjan, Robert E. (1979), "A linear-time algorithm for testing the truth of certain quantified boolean formulas", Information Processing Letters 8 (3): 121–123, doi:10.1016/0020-0190(79)90002-4, http://www.math.ucsd.edu/~sbuss/CourseWeb/Math268_2007WS/2SAT.pdf .

Chandra, Ashok K.; Kozen, Dexter C.; Stockmeyer, Larry J. (1 de janeiro de 1981). «Alternation». Journal of the ACM (1): 114–133. ISSN 0004-5411. doi:10.1145/322234.322243. Consultado em 25 de maio de 2024