Forskning ved Københavns Universitet - Københavns Universitet

Forside

A classical propositional logic for reasoning about reversible logic circuits

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

OriginalsprogEngelsk
TitelLogic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
RedaktørerJouko Väänänen, Åsa Hirvonen, Ruy de Queiroz
Antal sider16
ForlagSpringer
Publikationsdato2016
Sider52-67
ISBN (Trykt)978-3-662-52920-1
ISBN (Elektronisk)978-3-662-52921-8
DOI
StatusUdgivet - 2016
Begivenhed23rd International Workshop on Logic, Language, Information and Computation - Puebla, Mexico
Varighed: 16 aug. 201619 aug. 2016
Konferencens nummer: 23

Konference

Konference23rd International Workshop on Logic, Language, Information and Computation
Nummer23
LandMexico
ByPuebla
Periode16/08/201619/08/2016
NavnLecture notes in computer science
Vol/bind9803
ISSN0302-9743

ID: 167472271