Limit search to available items
Book Cover
Author International Conference on Computer Logic (1988 : Tallinn, Estonia)

Title COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / P. Martin-Löf, G. Mints (eds.)
Published Berlin ; New York : Springer-Verlag, ©1990


Description 1 online resource (vi, 338 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 417
Lecture notes in computer science ; 417. 0302-9743
Contents Algebraic specified processes and enumerable models -- On conditions of full coherence in biclosed categories: A new application of proof theory -- The use of justification systems for integrated semantics -- An equational deductive system for the differential and integral calculus -- Inductively defined types -- Algorithms for probabilistic inference -- Geometry of interaction 2: Deadlock-free algorithms -- On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions --?-Reductions and?-developments of?-terms with the least number of steps -- Group-theoretic approach to intractable problems -- On some applications of Heyting-valued analysis II -- Mathematics of infinity -- Gentzen-type systems and resolution rules part I propositional logic -- On the problem of reducing search in logic program execution -- Correctness of short proofs in theory with notions of feasibility -- A formulation of the simple theory of types (for Isabelle) -- On connections between classical and constructive semantics -- Flow-diagrams with sets -- The resolution program, able to decide some solvable classes -- A structural completeness theorem for a class of conditional rewrite rule systems -- A proof-search method for the first order logic
Summary This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries
Bibliography Includes bibliographical references
Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
Online resource; title from PDF title page (SpringerLink, viewed August 14, 2013)
digitized 2022. HathiTrust Digital Library committed to preserve pda MiAaHDL
Subject Computer science -- Mathematics -- Congresses
Logic, Symbolic and mathematical -- Congresses
Computer science -- Mathematics
Logic, Symbolic and mathematical
Artificial intelligence -- Congresses.
Genre/Form Conference papers and proceedings
Form Electronic book
Author Martin-Löf, Per, 1942-
Mint︠s︡, G. E.
ISBN 9783540469636