Constructive Boolean circuits and the exactness of timed ternary simulation

Faculty/Professorship: Foundations of Computer Science  
Author(s): Mendler, Michael ; Shiple, Thomas R.; Berry, Gérard
Title of the Journal: Formal methods in system design : an international journal
ISSN: 0925-9856
Publisher Information: Dordrecht [u.a.] : Springer
Year of publication: 2012
Volume: 40
Issue: 3
Pages: 283-329 ; Illustrationen
Language(s): English
DOI: 10.1007/s10703-012-0144-6
Type: Article
Year of publication: 11. February 2013