COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings - Brossura

Brossura

ISBN 10: 3662171171 ISBN 13: 9783662171172

Casa editrice: Springer, 2014

Riassunto

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.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2014
• Lingua: Inglese
• ISBN 10: 3662171171
• ISBN 13: 9783662171172
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile