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

Thomas Eiter (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


114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: Recognition and dualization of disguised bidual Horn functions. Inf. Process. Lett. 82(6): 283-291 (2002)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: Decision lists and related Boolean functions. Theor. Comput. Sci. 270(1-2): 493-524 (2002)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: Disjunctions of Horn Theories and Their Cores. SIAM J. Comput. 31(1): 269-288 (2001)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: On the Difference of Horn Theories. J. Comput. Syst. Sci. 61(3): 478-507 (2000)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: On the Difference of Horn Theories. STACS 1999: 467-477
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: Computing Intersections of Horn Theories for Reasoning with Models. Artif. Intell. 110(1): 57-101 (1999)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: Bidual Horn Functions and Extensions. Discrete Applied Mathematics 96-97: 55-88 (1999)
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: Computing Intersections of Horn Theories for Reasoning with Models. AAAI/IAAI 1998: 292-297
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: Disjunctions of Horn Theories and Their Cores. ISAAC 1998: 49-58
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: On Disguised Double Horn Functions and Extensions. STACS 1998: 50-60
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: Double Horn Functions. Inf. Comput. 144(2): 155-190 (1998)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Eiter, Toshihide Ibaraki, Kazuhisa Makino: Two-Face Horn Extensions. ISAAC 1997: 112-121

Selection of 12 from 300 records - Thomas Eiter has 136 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