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 17 results in range #1 to #17.
- Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs: Label: en
- On Combinations of Local Theory Extensions: Label: en
- First-Order Resolution Methods for Modal Logics: Label: en
- The Relative Power of Semantics and Unification: Label: en
- Planning with Effectively Propositional Logic: Label: en
- Constructing Bachmair-Ganzinger Models: Label: en
- Common Knowledge Logic in a Higher Order Proof Assistant: Label: en
- Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning: Label: en
- Narrowing Based Inductive Proof Search: Label: en
- Elimination Techniques for Program Analysis: Label: en
- From Search to Computation: Redundancy Criteria and Simplification at Work: Label: en
- Functional Logic Programming: From Theory to Curry: Label: en
- The Blossom of Finite Semantic Trees: Label: en
- A Generic Functional Representation of Sorted Trees Supporting Attribution: Label: en
- Canonical Ground Horn Theories: Label: en
- Bio-Logics: Logical Analysis of Bioregulatory Networks: Label: en
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming: Label: en
