The following pages link to (Q5625113):
Displaying 15 items.
- Effective codescent morphisms in the varieties determined by convergent term rewriting systems. (Q278228) (← links)
- Hilbert's epsilon as an operator of indefinite committed choice (Q946570) (← links)
- Completing sort hierarchies (Q1202662) (← links)
- Program schemata and the first-order decision problem (Q1213300) (← links)
- Boolean unification - the story so far (Q1824411) (← links)
- Guest editor's introduction: JvH100 (Q1942085) (← links)
- Jean van Heijenoort and the Gödel editorial project (Q1942089) (← links)
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic'' (Q1942090) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (Q1942097) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach (Q2219192) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Herbrand's theorem and term induction (Q2491080) (← links)
- (Q3384907) (← links)
