A. A. Babaev, Sergei Soloviev On conditions of full coherence in biclosed categories: a new application of proof theory. [Citation Graph (0, 0)][DBLP] Conference on Computer Logic, 1988, pp:3-8 [Conf]

N. G. de Bruijn The use of justification systems for integrated semantics. [Citation Graph (0, 0)][DBLP] Conference on Computer Logic, 1988, pp:9-24 [Conf]

Lars Hallnäs On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions. [Citation Graph (0, 0)][DBLP] Conference on Computer Logic, 1988, pp:94-104 [Conf]

Zurab Khasidashvili beta-reductions and beta developments of lambda terms with the least number of steps. [Citation Graph (0, 0)][DBLP] Conference on Computer Logic, 1988, pp:105-111 [Conf]

V. A. Lyubetsky On some applications of Heyting-valued analysis II. [Citation Graph (0, 0)][DBLP] Conference on Computer Logic, 1988, pp:122-145 [Conf]

Grigori Mints Gentzen-type systems and resolution rules. Part I. Propositional logic. [Citation Graph (0, 0)][DBLP] Conference on Computer Logic, 1988, pp:198-231 [Conf]

Vladimir S. Neiman On the problem of reducing search in logic program execution. [Citation Graph (0, 0)][DBLP] Conference on Computer Logic, 1988, pp:232-241 [Conf]

Vladimir P. Orevkov Correctness of short proofs in theory with notions of feasibility. [Citation Graph (0, 0)][DBLP] Conference on Computer Logic, 1988, pp:242-245 [Conf]

Tanel Tammet The resolution program, able to decide some solvable classes. [Citation Graph (0, 0)][DBLP] Conference on Computer Logic, 1988, pp:300-312 [Conf]

Sergei G. Vorobyov A structural completeness theorem for a class of conditional rewrite rule systems. [Citation Graph (0, 0)][DBLP] Conference on Computer Logic, 1988, pp:313-326 [Conf]

Andrei Voronkov A proof-search method for the first-order logic. [Citation Graph (0, 0)][DBLP] Conference on Computer Logic, 1988, pp:327-338 [Conf]

NOTICE1

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2

The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP