scientific article; zbMATH DE number 3349763

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Related Items (16)

Effective codescent morphisms in the varieties determined by convergent term rewriting systems. ⋮ Guest editor's introduction: JvH100 ⋮ Jean van Heijenoort and the Gödel editorial project ⋮ Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic ⋮ Jean van Heijenoort's contributions to proof theory and its history ⋮ Herbrand's fundamental theorem in the eyes of Jean van Heijenoort ⋮ Unnamed Item ⋮ Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach ⋮ Hilbert's epsilon as an operator of indefinite committed choice ⋮ Completing sort hierarchies ⋮ The scope of Gödel's first incompleteness theorem ⋮ Program schemata and the first-order decision problem ⋮ Herbrand's theorem and term induction ⋮ On Herbrand's theorem ⋮ Boolean unification - the story so far ⋮ Symbolic computation in Maude: some tapas

This page was built for publication: