A classical propositional logic for reasoning about reversible logic circuits
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Originalsprog | Engelsk |
---|---|
Titel | Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings |
Redaktører | Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz |
Antal sider | 16 |
Forlag | Springer |
Publikationsdato | 2016 |
Sider | 52-67 |
ISBN (Trykt) | 978-3-662-52920-1 |
ISBN (Elektronisk) | 978-3-662-52921-8 |
DOI | |
Status | Udgivet - 2016 |
Begivenhed | 23rd International Workshop on Logic, Language, Information and Computation - Puebla, Mexico Varighed: 16 aug. 2016 → 19 aug. 2016 Konferencens nummer: 23 |
Konference
Konference | 23rd International Workshop on Logic, Language, Information and Computation |
---|---|
Nummer | 23 |
Land | Mexico |
By | Puebla |
Periode | 16/08/2016 → 19/08/2016 |
Navn | Lecture notes in computer science |
---|---|
Vol/bind | 9803 |
ISSN | 0302-9743 |
ID: 167472271