Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 15 results in range #1 to #15.
- Abstraction of hardware construction: Label: en
- Higher-order algebra with transfinite types: Label: en
- Third-order matching in the polymorphic lambda calculus: Label: en
- Two different strong normalization proofs?: Label: en
- Development closed critical pairs: Label: en
- Assertions and recursions: Label: en
- The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving: Label: en
- Higher-order equational logic for specification, simulation and testing: Label: en
- The variable containment problem: Label: en
- R n - and G n -logics: Label: en
- A complete proof system for Nested Term Graphs: Label: en
- Collapsing partial combinatory algebras: Label: en
- Modular properties of algebraic type systems: Label: en
- Approximation and normalization results for typeable term rewriting systems: Label: en
- Term graph rewriting: Label: en
