The following pages link to (Q4297316):
Displaying 50 items.
- Unfold/fold transformations for disjunctive logic programs (Q287026) (← links)
- Strongly sequential and inductively sequential term rewriting systems (Q293294) (← links)
- A pearl on SAT and SMT solving in Prolog (Q428887) (← links)
- Lazy narrowing: strong completeness and eager variable elimination (Q671677) (← links)
- Combination techniques and decision problems for disunification (Q673624) (← links)
- A combinatory logic approach to higher-order E-unification (Q673971) (← links)
- Complete axiomatizations of some quotient term algebras (Q685393) (← links)
- Constructor equivalent term rewriting systems (Q689634) (← links)
- Mathematics based on incremental learning -- excluded middle and inductive inference (Q817838) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Termination of just/fair computations in term rewriting (Q924727) (← links)
- Anti-patterns for rule-based languages (Q968527) (← links)
- Strong and NV-sequentiality of constructor systems (Q1029079) (← links)
- Higher-order rewrite systems and their confluence (Q1127334) (← links)
- Sequentiality in orthogonal term rewriting systems (Q1186735) (← links)
- A method for simultaneous search for refutations and models by equational constraint solving (Q1198235) (← links)
- An algebraic semantics for structured transition systems and its application to logic programs (Q1199528) (← links)
- AC-unification race: The system solving approach, implementation and benchmarks (Q1199708) (← links)
- A transformation system for deductive database modules with perfect model semantics (Q1208734) (← links)
- Semantics and strong sequentiality of priority term rewriting systems (Q1275017) (← links)
- Unification in free distributive lattices (Q1322163) (← links)
- Origin tracking (Q1322842) (← links)
- Logical debugging (Q1322853) (← links)
- A resolution principle for constrained logics (Q1327159) (← links)
- Semi-unification of two terms in Abelian groups (Q1336738) (← links)
- Constructor equivalent term rewriting systems are strongly sequential: A direct proof (Q1338780) (← links)
- Abstract data type systems (Q1391729) (← links)
- Unification of infinite sets of terms schematized by primal grammars (Q1392278) (← links)
- Extracting models from clause sets saturated under semantic refinements of the resolution rule. (Q1401929) (← links)
- Theorem proving modulo (Q1431339) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Relating conflict-free stable transition and event models via redex families (Q1608893) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Decidable call-by-need computations in term rewriting (Q1763429) (← links)
- Normalisation for higher-order calculi with explicit substitutions (Q1770414) (← links)
- Normalization, approximation, and semantics for combinator systems (Q1853619) (← links)
- Semi-explicit first-class polymorphism for ML. (Q1854319) (← links)
- Bisimilarity in term graph rewriting. (Q1854321) (← links)
- Sequentiality, monadic second-order logic and tree automata. (Q1854333) (← links)
- Higher order unification via explicit substitutions (Q1854337) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Induction = I-axiomatization + first-order consistency. (Q1854350) (← links)
- Unification algorithms cannot be combined in polynomial time. (Q1854364) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- Naming and identity in epistemic logic. II: A first-order logic for naming (Q1855214) (← links)
- Rules + strategies for transforming lazy functional logic programs (Q1884942) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
