Theoretical study of symmetries in propositional calculus and applications-Reference-Cited by-同舟云学术

Theoretical study of symmetries in propositional calculus and applications

Author:

Benhamou Belaid,Sais Lakhdar

Publisher

Springer Berlin Heidelberg

Link

Reference16 articles.

1. B. Benhamou and L. Sais. Etude des symétries en calcul propositionnel. Master's thesis, GIA Luminy (Marseille), 1990.

2. B. Benhamou and L. Sais. Etude des symétries en calcul propositionnel. Technical Report 1, Université de provence, 1991.

3. W. Bibel. Short proofs of the pigeon hole formulas based on the connection method. Automated reasoning, (6):287–297, 1990.

5. C. Cubbada and M. D. Mouseigne. Variantes de l'algorithme de SL-Résolution avec retenue d'information. PhD thesis, GIA Luminy (Marseille), 1988.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Local and global symmetry breaking in itemset mining;Annals of Mathematics and Artificial Intelligence;2016-10-15

2. SYMMETRIES IN MODAL LOGICS;The Bulletin of Symbolic Logic;2015-12

4. Symmetries in Modal Logics;Electronic Proceedings in Theoretical Computer Science;2013-03-28

5. Dealing with Symmetries in Modal Tableaux;Lecture Notes in Computer Science;2013