Soundness and completeness results in partially-interpreted logics - Roy, Suman; Advised by Chandru, Vijay (Bangalore : Indian Institute of Science, 1997)
Includes bibliography.
PhD;1997;Computer Science and Automation.
Keywords: Logic programming; Symbolic and mathematical logic; Formal languages