You have Guest access.
Log In
Per Martin-Löf and Grigori Mints
Front matter
1-2
Algebraic specified processes and enumerable models
3-8
On conditions of full coherence in biclosed categories: A new application of proof theory
9-24
The use of justification systems for integrated semantics
25-49
An equational deductive system for the differential and integral calculus
50-66
Inductively defined types
67-75
Algorithms for probabilistic inference
76-93
Geometry of interaction 2: Deadlock-free algorithms
94-104
On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions
105-111
β-Reductions and β-developments of λ-terms with the least number of steps
112-121
Group-theoretic approach to intractable problems
122-145
On some applications of Heyting-valued analysis II
146-197
Mathematics of infinity
198-231
Gentzen-type systems and resolution rules part I propositional logic
232-241
On the problem of reducing search in logic program execution
242-245
Correctness of short proofs in theory with notions of feasibility
246-274
A formulation of the simple theory of types (for Isabelle)
275-285
On connections between classical and constructive semantics
286-299
Flow-diagrams with sets
300-312
The resolution program, able to decide some solvable classes
313-326
A structural completeness theorem for a class of conditional rewrite rule systems
327-338
A proof-search method for the first order logic
Morozov Andrey
A. A. Babaev and S. V. Soloviev
N. G. de Brujin
Rolando Chuaqui and Patrick Suppes
Thierry Coquand and Christine Paulin
E. Ya. Dantsin
Jean-Yves Girard
Lars Hallnäs
Zurab O. Khasidashvili
V. Ya. Kreinovich
V. A. Lyubetsky
Per Martin-Löf
G. Mints
V. S. Neiman
V. P. Orevkov
Lawrence C. Paulson
S. S. Starchenko and A. A. Voronkov
Alexey P. Stolboushkin
Tanel Tammet
Sergey G. Vorobyov
A. A. Voronkov
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info