Implementing tableau calculi using BDDs: BDDtab system description


Gore, R, Olesen, K & Thomson, J 2014, 'Implementing tableau calculi using BDDs: BDDTab system description', 7th International Joint Conference on Automated Reasoning, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, ed. S Demri, D Kapur, C Weidenbach, Springer Verlag, Switzerland, pp. 337-343.



ANU Authors

Fields of Research

  • Computation Theory And Mathematics
  • Pure Mathematics

Updated:  09 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers