Eiter, Thomas; Fink, Michael; Woltran, Stefan Semantical characterizations and complexity of equivalences in answer set programming. (English) Zbl 1367.68031 ACM Trans. Comput. Log. 8, No. 3, Article No. 17, 53 p. (2007). MSC: 68N17 68Q25 68Q55 PDFBibTeX XMLCite \textit{T. Eiter} et al., ACM Trans. Comput. Log. 8, No. 3, Article No. 17, 53 p. (2007; Zbl 1367.68031) Full Text: DOI arXiv
Özarslan, Hikmet Seyhan On absolute Cesàro summability factors of infinite series. (English) Zbl 1170.40302 Commun. Math. Anal. 3, No. 1, 53-56 (2007). MSC: 40F05 40D15 40D25 PDFBibTeX XMLCite \textit{H. S. Özarslan}, Commun. Math. Anal. 3, No. 1, 53--56 (2007; Zbl 1170.40302)
Ng, Ping Wong; Ruiz, Efren Extending maps in \(K\)-theory. (English) Zbl 1144.46052 Int. J. Pure Appl. Math. 41, No. 3, 419-442 (2007). MSC: 46L35 46L80 PDFBibTeX XMLCite \textit{P. W. Ng} and \textit{E. Ruiz}, Int. J. Pure Appl. Math. 41, No. 3, 419--442 (2007; Zbl 1144.46052)
Özarslan, H. S.; Kandefer, T. On equivalence of absolute matrix summability methods. (English) Zbl 1132.40308 Int. J. Pure Appl. Math. 41, No. 5, 689-695 (2007). MSC: 40D25 40F05 PDFBibTeX XMLCite \textit{H. S. Özarslan} and \textit{T. Kandefer}, Int. J. Pure Appl. Math. 41, No. 5, 689--695 (2007; Zbl 1132.40308)
Nerurkar, Mahesh G.; Sussmann, Héctor J. Construction of ergodic cocycles that are fundamental solutions to linear systems of a special form. (English) Zbl 1135.37006 J. Mod. Dyn. 1, No. 2, 205-253 (2007). Reviewer: Thomas Ward (Norwich) MSC: 37A20 34F05 37H05 37A25 PDFBibTeX XMLCite \textit{M. G. Nerurkar} and \textit{H. J. Sussmann}, J. Mod. Dyn. 1, No. 2, 205--253 (2007; Zbl 1135.37006) Full Text: DOI
Ortiz, Magdalena; Osorio, Mauricio Strong negation and equivalence in the safe belief semantics. (English) Zbl 1151.03018 J. Log. Comput. 17, No. 3, 499-515 (2007). Reviewer: Marie Duží (Ostrava) MSC: 03B70 03B55 68N17 68Q55 PDFBibTeX XMLCite \textit{M. Ortiz} and \textit{M. Osorio}, J. Log. Comput. 17, No. 3, 499--515 (2007; Zbl 1151.03018) Full Text: DOI
Cabalar, Pedro; Ferraris, Paolo Propositional theories are strongly equivalent to logic programs. (English) Zbl 1132.68321 Theory Pract. Log. Program. 7, No. 6, 745-759 (2007). MSC: 68N17 PDFBibTeX XMLCite \textit{P. Cabalar} and \textit{P. Ferraris}, Theory Pract. Log. Program. 7, No. 6, 745--759 (2007; Zbl 1132.68321) Full Text: DOI
Pichot, Mikaël On the spectral theory of measured equivalence relations. (Sur la théorie spectrale des relations d’équivalence mesurées.) (French) Zbl 1135.37007 J. Inst. Math. Jussieu 6, No. 3, 453-500 (2007). MSC: 37A20 37A30 22D10 47A35 37A50 PDFBibTeX XMLCite \textit{M. Pichot}, J. Inst. Math. Jussieu 6, No. 3, 453--500 (2007; Zbl 1135.37007) Full Text: DOI
Eckstein, Andrei Unitary reduction for the two-dimensional Schrödinger operator with strong magnetic field. (English) Zbl 1121.47064 C. R., Math., Acad. Sci. Paris 344, No. 11, 715-719 (2007). MSC: 47N50 81Q10 35J10 PDFBibTeX XMLCite \textit{A. Eckstein}, C. R., Math., Acad. Sci. Paris 344, No. 11, 715--719 (2007; Zbl 1121.47064) Full Text: DOI
Apter, Arthur W. Level by level equivalence and the number of normal measures over \(P_\kappa(\lambda)\). (English) Zbl 1121.03067 Fundam. Math. 194, No. 3, 253-265 (2007). MSC: 03E35 03E55 PDFBibTeX XMLCite \textit{A. W. Apter}, Fundam. Math. 194, No. 3, 253--265 (2007; Zbl 1121.03067) Full Text: DOI
Savaş, Ekrem On a summability factor theorem. (English) Zbl 1119.40003 Math. Inequal. Appl. 10, No. 2, 365-370 (2007). Reviewer: Billy E. Rhoades (Bloomington) MSC: 40F05 40D25 40G99 PDFBibTeX XMLCite \textit{E. Savaş}, Math. Inequal. Appl. 10, No. 2, 365--370 (2007; Zbl 1119.40003)
Ranzato, Francesco; Tapparo, Francesco Generalized strong preservation by abstract interpretation. (English) Zbl 1120.68074 J. Log. Comput. 17, No. 1, 157-197 (2007). MSC: 68Q60 PDFBibTeX XMLCite \textit{F. Ranzato} and \textit{F. Tapparo}, J. Log. Comput. 17, No. 1, 157--197 (2007; Zbl 1120.68074) Full Text: DOI arXiv
Apter, Arthur W. Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness. (English) Zbl 1110.03038 Arch. Math. Logic 46, No. 3-4, 155-163 (2007). MSC: 03E35 03E55 PDFBibTeX XMLCite \textit{A. W. Apter}, Arch. Math. Logic 46, No. 3--4, 155--163 (2007; Zbl 1110.03038) Full Text: DOI
García Barroso, Evelia Rosa; Lenarcik, Andrzej; Płoski, Arkadiusz Newton diagrams and equivalence of plane curve germs. (English) Zbl 1111.32029 J. Math. Soc. Japan 59, No. 1, 81-96 (2007). Reviewer: Andrzej Lenarcik (Kielce) MSC: 32S55 14H20 PDFBibTeX XMLCite \textit{E. R. García Barroso} et al., J. Math. Soc. Japan 59, No. 1, 81--96 (2007; Zbl 1111.32029) Full Text: DOI