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

Breanndán Ó Nualláin (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


4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin: Tableau Reasoning and Programming with Dynamic First Order Logic. Logic Journal of the IGPL 9(3): 411-445 (2001)
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin: Theorem Proving and Programming with Dynamic First Order Logic. WFLP 2000: 56-71

Selection of 2 from 11 records - Breanndán Ó Nualláin has 38 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