A | |
---|---|
[APT82] | Bengt Aspvall,
Michael F. Plass et
Robert Endre Tarjan.
Erratum (A Linear-Time Algorithm for Testing the
Truth of Certain Quantified Boolean Formulas).
Information Processing Letters 14(4):195. Elsevier, juin 1982.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1