search result

Cover von An Isabelle/HOL Formalization of Semi-Thue and Conditional Semi-Thue Systems

An Isabelle/HOL Formalization of Semi-Thue and Conditional Semi-Thue Systems

Year: 2025
Media group: LIPIcs
Cover von An Isabelle/HOL Formalization of Narrowing and Multiset Narrowing for E-Unifiability, Reachability and Infeasibility

An Isabelle/HOL Formalization of Narrowing and Multiset Narrowing for E-Unifiability, Reachability and Infeasibility

Year: 2024
Media group: LIPIcs
Cover von An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems

An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems

Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0