[Proceedings of Symposia in Pure Mathematics] Tarski Symposium Volume 25 || Universal algebra and automataHenkin, Leon · 1974

[ACM Press the 37th International Symposium - Grenoble, France (2012.07.22-2012.07.25)] Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation - ISSAC '12 - Algorithms for the universal decomposition algebraLebreton, Romain; Schost, Éric · 2012

[IEEE ISCAS 2001. The 2001 IEEE International Symposium on Circuits and Systems - Sydney, NSW, Australia (6-9 May 2001)] ISCAS 2001. The 2001 IEEE International Symposium on Circuits and Systems (Cat. No.01CH37196) - Universal discrete model and linear algebra representation for variant OFDM-CDMA systemsXiaojun Wu, ; Aigang Feng, ; Qinye Yin, · 2001

AIP Conference Proceedings [Author(s) PROCEEDINGS OF THE 24TH NATIONAL SYMPOSIUM ON MATHEMATICAL SCIENCES: Mathematical Sciences Exploration for the Universal Preservation - Kuala Terengganu, Malaysia (27–29 September 2016)] - Centroids and derivations of low-dimensional Leibniz algebraHusain, Sh. K. Said; Rakhimov, I. S.; Basri, W. · 2017

AIP Conference Proceedings [Author(s) PROCEEDINGS OF THE 24TH NATIONAL SYMPOSIUM ON MATHEMATICAL SCIENCES: Mathematical Sciences Exploration for the Universal Preservation - Kuala Terengganu, Malaysia (27–29 September 2016)] - Combinatorial structures associated with low dimensional second class of non-Lie filiform Leibniz algebraJamri, A. A. S. Ahmad; Husain, Sh. K. Said; Rakhimov, I. S. · 2017

[IEEE Its Applications and Embedded Sys (CDEE) - Qinhuandao, Hebei, China (2010.10.23-2010.10.24)] 2010 First ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems - Universal Adjoint Action for Quantum Algebra wsl_q (2)QiuMei, Sun; Meng, Li; FeiLong, Hao; HongMei, Song · 2010

Pratt Vaughan R.. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York 1976, pp. 109–121.Fischer Michael J. and Ladner Richard E.. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 (1979), pp. 194–211.Segerberg Krister. A completeness theorem in the modal logic of programs. Universal algebra and applications. Papers presented at Stefan Banach International Mathematical Center at the semester “Universal algebra and applications” held February 15–June 9, 1978, edited by Traczyk Tadeuz, Banach Center Publications, vol. 9, PWN—Polish Scientific Publishers, Warsaw 1982, pp. 31–46.Parikh Rohit. The completeness of propositional dynamic logic. Mathematical foundations of computer science 1978, Proceedings, 7th symposium, Zakopane, Poland, September 4–8, 1978, edited by Winkowski J., Lecture notes in computer science, vol. 64, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 403–415.Kozen Dexter and Parikh Rohit. An elementary proof of the completeness of PDL. Theoretical computer science, vol. 14(1981), pp. 113–118.Goldblatt, Robert · The Journal of Symbolic Logic · 1986

Slience In China 1600-1900 Essays By Benjamin A. ElmanHo Yi Kai · World Century ; World Scientific · 2015

Genetic Aspects of Gastric Cancer InstabilityHudler, Petra · The Scientific World Journal · 2012

Cadmium Toxicity and TreatmentBernhoft, Robin A. · The Scientific World Journal · 2013

Sex Hormones and Immune DimorphismBhatia, Aruna; Sekhon, Harmandeep Kaur; Kaur, Gurpreet · The Scientific World Journal · 2014

Food Antimicrobials NanocarriersBlanco-Padilla, Adriana; Soto, Karen M.; Hernández Iturriaga, Montserrat; Mendoza, Sandra · The Scientific World Journal · 2014

Drought Tolerance in WheatNezhadahmadi, Arash; Prodhan, Zakaria Hossain; Faruq, Golam · The Scientific World Journal · 2013

The Trigonometric Polynomial Like Bernstein PolynomialHan, Xuli · The Scientific World Journal · 2014

New Type Continuities via Abel ConvergenceCakalli, Huseyin; Albayrak, Mehmet · The Scientific World Journal · 2014