file.pdf (1.16 MB)

Regular Search Spaces (I): Horn and Normal Clauses

Download (1.16 MB)
journal contribution
posted on 01.12.1993, 00:00 by Alberto Momigliano, Mario Ornaghi
Alberto Momigliano and Mario Ornaghi. Regular Search Spaces (I): Horn and Normal Clauses.

History

Publisher Statement

All Rights Reserved

Date

01/12/1993

Usage metrics

Categories

Keywords

Exports