↓ Skip to main content
What is this page? Embed badge

COLOG-88

Overview of attention for book
Cover of 'COLOG-88'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 43 Algebraic specified processes and enumerable models
  3. Altmetric Badge
    Chapter 44 On conditions of full coherence in biclosed categories: A new application of proof theory
  4. Altmetric Badge
    Chapter 45 The use of justification systems for integrated semantics
  5. Altmetric Badge
    Chapter 46 An equational deductive system for the differential and integral calculus
  6. Altmetric Badge
    Chapter 47 Inductively defined types
  7. Altmetric Badge
    Chapter 48 Algorithms for probabilistic inference
  8. Altmetric Badge
    Chapter 49 Geometry of interaction 2: Deadlock-free algorithms
  9. Altmetric Badge
    Chapter 50 On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions
  10. Altmetric Badge
    Chapter 51 β-Reductions and β-developments of λ-terms with the least number of steps
  11. Altmetric Badge
    Chapter 52 Group-theoretic approach to intractable problems
  12. Altmetric Badge
    Chapter 53 On some applications of Heyting-valued analysis II
  13. Altmetric Badge
    Chapter 54 Mathematics of infinity
  14. Altmetric Badge
    Chapter 55 Gentzen-type systems and resolution rules part I propositional logic
  15. Altmetric Badge
    Chapter 56 On the problem of reducing search in logic program execution
  16. Altmetric Badge
    Chapter 57 Correctness of short proofs in theory with notions of feasibility
  17. Altmetric Badge
    Chapter 58 A formulation of the simple theory of types (for Isabelle)
  18. Altmetric Badge
    Chapter 59 On connections between classical and constructive semantics
  19. Altmetric Badge
    Chapter 60 Flow-diagrams with sets
  20. Altmetric Badge
    Chapter 61 The resolution program, able to decide some solvable classes
  21. Altmetric Badge
    Chapter 62 A structural completeness theorem for a class of conditional rewrite rule systems
  22. Altmetric Badge
    Chapter 63 A proof-search method for the first order logic
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
10 Wikipedia pages

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
1 Mendeley
Summary Wikipedia Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
COLOG-88
Published by
Springer Berlin Heidelberg, January 1990
DOI 10.1007/3-540-52335-9
ISBNs
978-3-54-052335-2, 978-3-54-046963-6
Editors

Martin-Löf, Per, Mints, Grigori

View on publisher site Google Preview
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 100%
Readers by discipline Count As %
Unknown 1 100%

This page is provided by Altmetric.