Harry R. Lewis Satisfiability Problems for Propositional Calculi. [Citation Graph (0, 0)][DBLP] Mathematical Systems Theory, 1979, v:13, n:, pp:45-53 [Journal]
Alan L. Selman P-selective Sets, Tally Languages, and the Behavior of Polynomial Time Reducibilities on NP. [Citation Graph (0, 0)][DBLP] Mathematical Systems Theory, 1979, v:13, n:, pp:55-65 [Journal]
Masakazu Nasu Indecomposable Local Maps of Tesselation Automata. [Citation Graph (0, 0)][DBLP] Mathematical Systems Theory, 1979, v:13, n:, pp:81-93 [Journal]
Richard A. DeMillo, Richard J. Lipton A Constructive Generalization of the Borel-Cantelli Lemma with Application to the Complexity of Infinite Strings. [Citation Graph (0, 0)][DBLP] Mathematical Systems Theory, 1979, v:13, n:, pp:95-104 [Journal]
Bruno Courcelle Infinite Trees in Normal Form and Recursive Equations Having a Unique Solution. [Citation Graph (0, 0)][DBLP] Mathematical Systems Theory, 1979, v:13, n:, pp:131-180 [Journal]
Oscar H. Ibarra Restricted One-Counter Machines with Undecidable Universe Problems. [Citation Graph (0, 0)][DBLP] Mathematical Systems Theory, 1979, v:13, n:, pp:181-186 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP