Subject
Applied Mathematics,Computer Graphics and Computer-Aided Design,General Mathematics,Software
Reference11 articles.
1. K. Crompton 0-1 laws in logic and combinatorics Proc. NATO Advanced Study Institute on Algorithms and Order 1988 353 383
2. An application of games to the completeness problem for formalized theories;Ehrenfeucht;Fundam. Math.,1961
3. On the evolution of random graphs;Erdōs;Publ. Math. Inst. Hung. Acad. Sci.,1960
4. Probabilities on finite models;Fagin;J. Symbolic Logic,1976
5. Range and degree of realizability of formulas in the restricted predicate calculus;Glebski;Kibernetika (Kiev),1969
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献