Aarhus University Seal / Aarhus Universitets segl

On converting CNF to DNF

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Department of Computer Science
Original languageEnglish
Title of host publicationMathematical Foundations of Computer Science 2003 : 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings
EditorsBranislav Rovan, Peter Vojtás
Number of pages10
PublisherSpringer
Publication year2003
Pages612-621
ISBN (print)978-3-540-40671-6
DOIs
Publication statusPublished - 2003
EventSymposium onMathematical Foundations of Computer Science. MFCS 2003 - Bratislava, Slovakia
Duration: 25 Aug 200329 Aug 2003
Conference number: 28

Conference

ConferenceSymposium onMathematical Foundations of Computer Science. MFCS 2003
Nummer28
LandSlovakia
ByBratislava
Periode25/08/200329/08/2003
SeriesLecture Notes in Computer Science
Volume2747
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 282857