conftrace_

right weakening

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logic-based reasoning (1) structural analysis (1) conditional reasoning (1) semantic analysis (1)

Papers

Simple Conditionals with Constrained Right Weakening IJCAI 2019