Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Tucker, J. V.
Wainer, S. S.
and
Zucker, J. I.
1990.
Automata, Languages and Programming.
Vol. 443,
Issue. ,
p.
660.
Kohlenbach, Ulrich
1992.
Remarks on Herbrand normal forms and Herbrand realizations.
Archive for Mathematical Logic,
Vol. 31,
Issue. 5,
p.
305.
Zucker, J. I.
2006.
Logical Approaches to Computational Barriers.
Vol. 3988,
Issue. ,
p.
595.
Bournez, Olivier
Dowek, Gilles
Gilleron, Rémi
Grigorieff, Serge
Marion, Jean-Yves
Perdrix, Simon
and
Tison, Sophie
2020.
A Guided Tour of Artificial Intelligence Research.
p.
51.