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

Teodor C. Przymusinski (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


62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix, Teodor C. Przymusinski: Super logic programs. ACM Trans. Comput. Log. 5(1): 129-176 (2004)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski: On the equivalence of the static and disjunctive well-founded semantics and its computation. Theor. Comput. Sci. 258(1-2): 523-553 (2001)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix, Teodor C. Przymusinski: Super Logic Programs CoRR cs.AI/0010032: (2000)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix, Teodor C. Przymusinski: Computation of the Semantics of Autoepistemic Belief Theories. Artif. Intell. 112(1-2): 233-250 (1999)
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski: A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation. KR 1998: 74-85
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix, Teodor C. Przymusinski: Super Logic Programs. KR 1996: 529-540

Selection of 6 from 62 records - Teodor C. Przymusinski has 14 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