Henrik Brosenne

From MaRDI portal
Person:844144

Available identifiers

zbMath Open brosenne.henrikMaRDI QIDQ844144

List of research outcomes





PublicationDate of PublicationType
On approximation by \(^{\oplus}\)-OBDDs2010-01-29Paper
Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance2010-01-18Paper
Mathematical Foundations of Computer Science 20032007-12-07Paper
Characterizing the Complexity of Boolean Functions represented by Well-Structured Graph-Driven Parity-FBDDs2003-07-15Paper
https://portal.mardi4nfdi.de/entity/Q47791452002-11-25Paper

Research outcomes over time

This page was built for person: Henrik Brosenne

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:844144&oldid=7657793"
Powered by MediaWiki