Marco Cadoli The Complexity of Model Checking for Circumscriptive Formulae. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1992, v:44, n:3, pp:113-118 [Journal]

Erkki Mäkinen Remarks on the Structural Grammatical Inference Problem for Context-Free Grammars. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1992, v:44, n:3, pp:125-127 [Journal]

John Bainbridge A Heuristic Method for Generating Large Random Expressions. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1992, v:44, n:3, pp:165-170 [Journal]

Jan K. Pachl Corrigendum: A Simple Proof of a Completeness Result for Leads-To in the UNITY Logic. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1992, v:44, n:3, pp:171- [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