| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Reinhard Pichler Reinhard Pichler: Algorithmic Aspects of Model Representations. WLP 2006 : 12-20 Christian G. Fermüller , Reinhard Pichler: Model Representation via Contexts and Implicit Generalizations. CADE 2005 : 409-423 Georg Gottlob , Christoph Koch , Reinhard Pichler: Efficient algorithms for processing XPath queries. ACM Trans. Database Syst. 30 (2): 444-491 (2005) Uwe Egly , Reinhard Pichler, Stefan Woltran : On deciding subsumption problems. Ann. Math. Artif. Intell. 43 (1): 255-294 (2005) Georg Gottlob , Christoph Koch , Reinhard Pichler, Luc Segoufin : The complexity of XPath query evaluation and XML typing. J. ACM 52 (2): 284-335 (2005) Georg Gottlob , Reinhard Pichler: Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width. SIAM J. Comput. 33 (2): 351-378 (2004) Georg Gottlob , Christoph Koch , Reinhard Pichler: XPath Query Evaluation: Improving Time and Space Efficiency. ICDE 2003 : 379-390 Georg Gottlob , Christoph Koch , Reinhard Pichler: The complexity of XPath query evaluation. PODS 2003 : 179-190 Reinhard Pichler: On the complexity of equational problems in CNF. J. Symb. Comput. 36 (1-2): 235-269 (2003) Georg Gottlob , Christoph Koch , Reinhard Pichler: XPath Processing in a Nutshell. SIGMOD Record 32 (1): 12-19 (2003) Georg Gottlob , Christoph Koch , Reinhard Pichler: XPath processing in a nutshell. SIGMOD Record 32 (2): 21-27 (2003) Reinhard Pichler: Explicit versus implicit representations of subsets of the Herbrand universe. Theor. Comput. Sci. 290 (1): 1021-1056 (2003) Bernhard Gramlich , Reinhard Pichler: Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations. CADE 2002 : 241-259 Georg Gottlob , Christoph Koch , Reinhard Pichler: Efficient Algorithms for Processing XPath Queries. VLDB 2002 : 95-106 Georg Gottlob , Reinhard Pichler: Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width. ICALP 2001 : 708-719 Georg Gottlob , Reinhard Pichler: Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models. Inf. Comput. 165 (2): 183-207 (2001) Reinhard Pichler: Negation Elimination from Simple Equational Formulae. ICALP 2000 : 612-623 Reinhard Pichler: The Explicit Representability of Implicit Generalizations. RTA 2000 : 187-202 Reinhard Pichler: Speeding up Algorithms on Atomic Representations of Herbrand Models via New Redundancy Criteria. J. Symb. Comput. 29 (2): 213-257 (2000) Reinhard Pichler: Solving Equational Problems Efficiently. CADE 1999 : 97-111 Georg Gottlob , Reinhard Pichler: Working with Arms: Complexity Results on Atomic Representations of Herbrand Models. LICS 1999 : 306-315 Reinhard Pichler: On the Complexity of H-Subsumption. CSL 1998 : 355-371 Reinhard Pichler: Extending Decidable Clause Classes via Constraints. FTP (LNCS Selection) 1998 : 206-220 Reinhard Pichler: Completeness and Redundancy in Constrained Clause Logic. FTP (LNCS Selection) 1998 : 221-235 Reinhard Pichler: Algorithms on Atomic Representations of Herbrand Models. JELIA 1998 : 199-215 1 [ 22 ] 2 [ 24 ] 3 [ 5 ] [ 10 ] [ 11 ] [ 12 ] [ 15 ] [ 16 ] [ 18 ] [ 19 ] [ 20 ] [ 21 ] [ 23 ] 4 [ 13 ] 5 [ 12 ] [ 15 ] [ 16 ] [ 18 ] [ 19 ] [ 21 ] [ 23 ] 6 [ 21 ] 7 [ 22 ]  ©2006 Association for Computing Machinery |
