Description 
1 online resource (vi, 338 pages) : illustrations 
Series 
Lecture notes in computer science, 03029743 ; 417 

Lecture notes in computer science ; 417. 03029743

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: Deadlockfree algorithms  On the syntax of infinite objects: an extension of MartinLöf's theory of expressions ?Reductions and?developments of?terms with the least number of steps  Grouptheoretic approach to intractable problems  On some applications of Heytingvalued analysis II  Mathematics of infinity  Gentzentype 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  Flowdiagrams with sets  The resolution program, able to decide some solvable classes  A structural completeness theorem for a class of conditional rewrite rule systems  A proofsearch 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. http://purl.oclc.org/DLF/benchrepro0212 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 
MartinLöf, Per, 1942


Mint︠s︡, G. E.

ISBN 
9783540469636 

354046963X 
