Dmitriy Traytel - PLNL 2018

Write a Blog >>

Thu 22 Nov 2018 Utrecht, Netherlands

Registered user since Fri 10 Feb 2017

Name:Dmitriy Traytel

Country:Switzerland

Affiliation:ETH Zurich

Personal website: http://people.inf.ethz.ch/trayteld/

Contributions

2018

PLNL

A Verified Automatic Prover Based on Ordered Resolution

Show activities from other conferences

PLNL 2018-profile
View general profile