computation

International Journal of Computer Mathematics

Araújo, M.; Matías, J. M.; Rivas, T.; Taboada, J.

Annals of Mathematics and Artificial Intelligence

Bendtsen, Claus; Degasperi, Andrea; Ahlberg, Ernst; Carlsson, Lars

Journal of Computational and Applied Mathematics

Wu, Cheng-Feng; Huang, Shian-Chang; Chang, Tsangyao; Chiou, Chei-Chang; Hsueh, Hsin-Pei

Applied Mathematics and Computation

Le Thi, Hoai An ;Le, Hoai Minh ;Phan, Duy Nhat ;Tran, Bach

Applied Mathematics and Computation

Wang, Kuaini; Cao, Jinde; Pei, Huimin

Applied Mathematics and Computation

Lisha Zhang; Zhengxing Sun

Applied Mathematics and Computation

Kucukoglu, Irem; Simsek, Buket; Simsek, Yilmaz

International Journal of Computer Mathematics

Araújo, M.; Matías, J. M.; Rivas, T.; Taboada, J.

International Journal of Computer Mathematics

Matías, J. M.; Rivas, T.; Martín, J. E.; Taboada, J.

International Journal of Computer Mathematics

Ciecholewski, Marcin

Annals of Mathematics and Artificial Intelligence

Bendtsen, Claus; Degasperi, Andrea; Ahlberg, Ernst; Carlsson, Lars

Journal of Computational and Applied Mathematics

Wu, Cheng-Feng; Huang, Shian-Chang; Chang, Tsangyao; Chiou, Chei-Chang; Hsueh, Hsin-Pei

Applied Mathematics and Computation

Le Thi, Hoai An ;Le, Hoai Minh ;Phan, Duy Nhat ;Tran, Bach

Applied Mathematics and Computation

Wang, Kuaini; Cao, Jinde; Pei, Huimin

Journal of Functional Programming

von Sydow, Björn

Journal of Functional Programming

ALLISON, LLOYD

Mathematics and Computers in Simulation

Mathematics and Computers in Simulation

Journal of Chemical Theory and Computation

Di Marino, Daniele; Chillemi, Giovanni; De Rubeis, Silvia; Tramontano, Anna; Achsel, Tilmann; Bagni, Claudia

Information Processing Letters

Steffen Lange; Sandra Zilles

Science of Computer Programming

Irem Aktug; Katsiaryna Naliuka

Journal of Applied Logic

Wenyan Xu; Sanyang Liu

ACM Transactions on Computational Logic

Japaridze, Giorgi

ACM Transactions on Computational Logic

Bauer, Matthew S.

Journal of Logic and Computation

Soskova, A.; Barry Cooper, S.; Sorbi, A.

Bulletin of Symbolic Logic

Annals of Pure and Applied Logic

Vasco Brattka; Ruth Dillhage

Annals of Pure and Applied Logic

Andrew E.M. Lewis; George Barmpalias

Annals of Pure and Applied Logic

Robert I. Soare

Annals of Pure and Applied Logic

Bakhadyr Khoussainov

Annals of Pure and Applied Logic

Rod Downey; Zoltán Füredi; Carl G. Jockusch Jr.; Lee A. Rubel

Annals of Pure and Applied Logic

Ker-I. Ko

Annals of Pure and Applied Logic

Klaus Ambos-Spies; Arnold Beckmann; Samuel R. Buss; Benedikt Löwe

Annals of Pure and Applied Logic

Hoyrup, Mathieu

Communications in Numerical Methods in Engineering

Kwok, W. ;Haghighi, K. ;Kang, E.

Applied Mathematics and Computation

Richard W. Johnson; Glen Hansen; Chris Newman

Applied Mathematics and Computation

Kucukoglu, Irem; Simsek, Buket; Simsek, Yilmaz

International Journal of Computer Mathematics

Davis, Morton

International Journal of Computer Mathematics

Ciecholewski, Marcin

Journal of Computational and Applied Mathematics

García Nieto, P.J.; García-Gonzalo, E.; Álvarez Antón, J.C.; González Suárez, V.M.; Mayo Bayón, R.; Mateos Martín, F.