Computing finite models by reduction to function-free clause logic

Citation

Baumgartner, P, Fuchs, A, de Nivelle, H et al 2009, 'Computing finite models by reduction to function-free clause logic', Journal of Applied Logic, vol. 7, no. 1, pp. 58-74.

Year

2009

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

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