Algebraic semantics (computer science) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Algebraic semantics (computer science)" in English language version.

refsWebsite

Global rank English rank

2^nd place

11^th place

8^th place

274^th place

309^th place

415^th place

327^th place

102^nd place

76^th place

doi.org

J.A. Goguen; J.W. Thatcher; E.G. Wagner; J.B. Wright (1977). "Initial algebra semantics and continuous algebras". Journal of the ACM. 24 (1): 68–95. doi:10.1145/321992.321997. S2CID 11060837.
J.A. Goguen; C. Kirchner; H. Kirchner; A. Megrelis; J. Meseguer (1988). "An introduction to OBJ3". Proceedings of the First Workshop on Conditional Term Rewriting Systems. Lecture Notes in Computer Science. Vol. 308. Springer. pp. 258–263. doi:10.1007/3-540-19242-5_22. ISBN 978-3-540-19242-8.
S. Lucas; J. Meseguer (2014). "Strong and Weak Operational Termination of Order-Sorted Rewrite Theories". In S. Escobar (ed.). Rewriting Logic and Its Applications. Lecture Notes in Computer Science. Vol. 8663. Cham: Springer. pp. 178–194. doi:10.1007/978-3-319-12904-4_10. ISBN 978-3-319-12903-7.
H.Y. Chen; T.H. Tse (2013). "Equality to equals and unequals: A revisit of the equivalence and nonequivalence criteria in class-level testing of object-oriented software". IEEE Transactions on Software Engineering. 39 (11): 1549–1563. doi:10.1109/TSE.2013.33. hdl:10722/187124. S2CID 8694513.

J.A. Goguen; C. Kirchner; H. Kirchner; A. Megrelis; J. Meseguer (1988). "An introduction to OBJ3". Proceedings of the First Workshop on Conditional Term Rewriting Systems. Lecture Notes in Computer Science. Vol. 308. Springer. pp. 258–263. doi:10.1007/3-540-19242-5_22. ISBN 978-3-540-19242-8.
S. Lucas; J. Meseguer (2014). "Strong and Weak Operational Termination of Order-Sorted Rewrite Theories". In S. Escobar (ed.). Rewriting Logic and Its Applications. Lecture Notes in Computer Science. Vol. 8663. Cham: Springer. pp. 178–194. doi:10.1007/978-3-319-12904-4_10. ISBN 978-3-319-12903-7.