dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Maurice Bruynooghe (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe: SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. SAT 2008: 211-224
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe: Predicate Introduction Under Stable and Well-Founded Semantics. ICLP 2006: 242-256
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Mariën, Rudradeb Mitra, Marc Denecker, Maurice Bruynooghe: Satisfiability Checking for PC(ID). LPAR 2005: 565-579

Selection of 3 from 209 records - Maurice Bruynooghe has 104 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page