File(s) under permanent embargo

A truncation technique for clausal analytic tableaux

journal contribution

posted on 1992-07-03, 00:00 authored by G Wrightson, Jo Coldwell-NeilsonJo Coldwell-Neilson

A truncation technique for clausal analytic tableaux

History

Journal

Information Processing Letters

Volume

42

Issue

5

Pagination

273 - 281

Publisher

Elsevier

Publisher DOI

https://doi.org/10.1016/0020-0190(92)90036-U

ISSN

0020-0190

Language

eng

Publication classification

CN.1 Other journal article

Usage metrics

Categories

No categories selected

Keywords

Science & Technology Technology Computer Science, Information Systems Computer Science ANALYTIC TABLEAU RESOLUTION AUTOMATIC THEOREM PROVING

Licence

All Rights Reserved

Exports