Media type: E-Article Title: On the complexity of deciding typability in the relational algebra Contributor: Vansummeren, Stijn Published: Springer Science and Business Media LLC, 2005 Published in: Acta Informatica, 41 (2005) 6, Seite 367-381 Language: English DOI: 10.1007/s00236-005-0162-6 ISSN: 0001-5903; 1432-0525 Keywords: Computer Networks and Communications ; Information Systems ; Software Origination: Footnote: