Unified Classical Logic Completeness - A Coinductive Pearl

Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

20 Citationer (Scopus)
OriginalsprogEngelsk
TitelAutomated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
RedaktørerStéphane Demri, Deepak Kapur, Christoph Weidenbach
Antal sider15
ForlagSpringer, Cham
Publikationsdato2014
Sider46-60
DOI
StatusUdgivet - 2014
Udgivet eksterntJa
NavnLecture Notes in Computer Science
Vol/bind8562
ISSN0302-9743

Citationsformater