Logical definability of counting functions

التفاصيل البيبلوغرافية
العنوان: Logical definability of counting functions
المؤلفون: Compton, K.J., Gradel, E.
المصدر: Proceedings of IEEE 9th Annual Conference on Structure in Complexity Theory Structure in complexity theory Structure in Complexity Theory Conference, 1994., Proceedings of the Ninth Annual. :255-266 1994
Relation: Proceedings of IEEE 9th Annual Conference on Structure in Complexity Theory
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:0818656700
9780818656705
DOI:10.1109/SCT.1994.315798