(Q29394502)

English

A linear-time algorithm for testing the truth of certain quantified boolean formulas

scientific article (publication date: March 1979)

In more languages

edit

Statements

instance of

scholarly article

0 references

title

A linear-time algorithm for testing the truth of certain quantified boolean formulas (English)

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

14 April 2017

3

Robert Endre Tarjan

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

author name string

Bengt Aspvall

series ordinal

1

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

Michael F. Plass

series ordinal

2

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

publication date

March 1979

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

published in

Information Processing Letters

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

volume

8

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

issue

3

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

page(s)

121-123

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

maintained by WikiProject

WikiProject Mathematics

0 references

Identifiers

DOI

10.1016/0020-0190(79)90002-4

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

DBLP publication ID

journals/ipl/AspvallPT79

1 reference

stated in

DBLP Dataset 2021-01-02

retrieved

28 January 2021

ResearchGate publication ID

220114576

0 references

zbMATH Open document ID

0398.68042

0 references

(Q29394502)

A linear-time algorithm for testing the truth of certain quantified boolean formulas

Statements

Identifiers

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)