EasyChair Smart SlideUser guide
Author: Arjun Viswanathan

This page shows all presentations of this author published in EasyChair Smart Slide.

An Interactive SMT Tactic in Coq Using Abductive Reasoning

An Interactive SMT Tactic in Coq Using Abductive Reasoning

Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli and Clark Barrett

Datatypes with Shared Selectors

Datatypes with Shared Selectors

Andrew Reynolds, Arjun Viswanathan, Haniel Barbosa, Cesare Tinelli and Clark Barrett

Presentations in this collection: 2
Copyright © 2002 – 2026 EasyChair