Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. R. Béjar and F. Manyà. Phase transitions in the regular random 3-SAT problem. In Proceedings of the International Symposium on Methodologies for Intelligent Systems, ISMIS’99, pages 292–300. Springer LNAI 1609, 1999.
2. R. Hähnle. Uniform notation of tableaux rules for multiple-valued logics. In Proceedings International Symposium on Multiple-Valued Logic, Victoria, pages 238–245. IEEE Press, 1991.
3. R. Hähnle. Short conjunctive normal forms infinitely-valued logics. Journal of Logic and Computation, 4(6):905–927, 1994.
4. R. Hähnle. Exploiting data dependencies in many-valued logics. Journal of Applied Non-Classical Logics, 6:49–69, 1996.
5. R. Hähnle. Personal communication, 1998.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献