Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Publication : acta informatica Publisher : springer nature Subject : 0101 mathematics Subject : 0102 computer and information sciences Subject : business Subject : business.industry Subject : mathematics Subject : symbols فلترة بواسطة : موضوع

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Verification conditions are code.

Authors : Gravell, Andrew¹

Source: Acta Informatica. Jan2007, Vol. 43 Issue 6, p431-447. 17p. 2 Diagrams.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

On the complexity of deciding typability in the relational algebra.

Authors : Vansummeren, Stijn¹

Source: Acta Informatica. May2005, Vol. 41 Issue 6, p367-381. 15p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي