Unified Classical Logic Completeness - A Coinductive Pearl

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Originalsprog	Engelsk
Titel	Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Redaktører	Stéphane Demri, Deepak Kapur, Christoph Weidenbach
Antal sider	15
Forlag	Springer, Cham
Publikationsdato	2014
Sider	46-60
DOI	https://doi.org/10.1007/978-3-319-08587-6_4
Status	Udgivet - 2014
Eksternt udgivet	Ja

Navn	Lecture Notes in Computer Science
Vol/bind	8562
ISSN	0302-9743

ID: 245668841

Datalogisk Institut