Parameterized Simplification Logic: Reasoning With Implications in an Automated Way - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pablo Cordero, Manuel Enciso, Ángel Mora 0001, Vilém Vychodil. Parameterized Simplification Logic: Reasoning With Implications in an Automated Way. IEEE T. Fuzzy Systems, 30(12):5534-5543, 2022. [doi]

This author has not been identified. Look up 'Pablo Cordero' in GoogleThis author has not been identified. Look up 'Manuel Enciso' in GoogleThis author has not been identified. Look up 'Ángel Mora 0001' in GoogleThis author has not been identified. Look up 'Vilém Vychodil' in Google

runs on WebDSL