Author:
Ferré Sébastien,Ridoux Olivier
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Lect Notes Comput Sci;M. Alt,1995
2. T. Armstrong, K. Marriott, P. Schachte, and H. Søndergaard. Two classes of boolean functions for dependency analysis. Science of Computer Programming, 31:3–45, 1998.
3. B. Beckert and J. Posegga. lean TAP: Lean, tableau-based deduction. J. Automated Reasoning, 11(1):43–81, 1995.
4. B. Beckert and J. Posegga. Logic programming as a basis for lean automated deduction. J. Logic Programming, 28(3):231–236, 1996.
5. M. Codish, H. Søndergaard, and P.J. Stuckey. Sharing and groundness dependencies in logic programs. ACM TOPLAS, 21(5):948–976, 1999.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Graph-FCA Meets Pattern Structures;Formal Concept Analysis;2023
2. A modular and parameterized presentation of pregroup calculus;Information and Computation;2010-05
3. Camelis: a logical information system to organise and browse a collection of documents;International Journal of General Systems;2009-05
4. Logical Information Systems: from Taxonomies to Logics;18th International Conference on Database and Expert Systems Applications (DEXA 2007);2007-09
5. Pregroup Calculus as a Logic Functor;Logic, Language, Information and Computation;2007