Conference on Computer Logic

Keyphrases

Publications

volume 417, 1990

COLOG-88, International Conference on Computer Logic, Tallinn, USSR, December 1988, Proceedings Conference on Computer Logic 417 (1990)

1988

Vladimir P. Orevkov
Correctness of short proofs in theory with notions of feasibility. Conference on Computer Logic (1988)
Alexei P. Stolboushkin
Flow-diagrams with sets. Conference on Computer Logic (1988)
Tanel Tammet
The resolution program, able to decide some solvable classes. Conference on Computer Logic (1988)
Zurab Khasidashvili
beta-reductions and beta developments of lambda terms with the least number of steps. Conference on Computer Logic (1988)
Thierry Coquand, Christine Paulin
Inductively defined types. Conference on Computer Logic (1988)
Sergei G. Vorobyov
A structural completeness theorem for a class of conditional rewrite rule systems. Conference on Computer Logic (1988)
Lawrence C. Paulson
A formulation of the simple theory of types (for Isabelle). Conference on Computer Logic (1988)
N. G. de Bruijn
The use of justification systems for integrated semantics. Conference on Computer Logic (1988)
Evgeny Dantsin
Algorithms for Probabilistic Inference. Conference on Computer Logic (1988)
Sergei Starchenko, Andrei Voronkov
On connections between classical and constructive semantics. Conference on Computer Logic (1988)
Jean-Yves Girard
Geometry of interaction 2: deadlock-free algorithms. Conference on Computer Logic (1988)
Lars Hallnäs
On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions. Conference on Computer Logic (1988)
Per Martin-Löf
Mathematics of infinity. Conference on Computer Logic (1988)
A. A. Babaev, Sergei Soloviev
On conditions of full coherence in biclosed categories: a new application of proof theory. Conference on Computer Logic (1988)
Vladimir S. Neiman
On the problem of reducing search in logic program execution. Conference on Computer Logic (1988)
Andrei S. Morozov
Algebraic specified processes and enumerable models. Conference on Computer Logic (1988)
Andrei Voronkov
A proof-search method for the first-order logic. Conference on Computer Logic (1988)
Grigori Mints
Gentzen-type systems and resolution rules. Part I. Propositional logic. Conference on Computer Logic (1988)
Rolando Chuaqui, Patrick Suppes
An equational deductive system for the differential and integral calculus. Conference on Computer Logic (1988)
Vassily A. Lyubetsky
On some applications of Heyting-valued analysis II. Conference on Computer Logic (1988)
Vladik Kreinovich
Group-theoretic approach to intractable problems. Conference on Computer Logic (1988)