Journal articles on the topic 'Complete equational theories'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 19 journal articles for your research on the topic 'Complete equational theories.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Hölldobler, Steffen. "Conditional equational theories and complete sets of transformations." Theoretical Computer Science 75, no. 1-2 (1990): 85–110. http://dx.doi.org/10.1016/0304-3975(90)90063-n.
Cerna, David M., and Temur Kutsia. "Higher-order pattern generalization modulo equational theories." Mathematical Structures in Computer Science 30, no. 6 (May 20, 2020): 627–63. http://dx.doi.org/10.1017/s0960129520000110.
Fages, François, and Gérard Huet. "Complete sets of unifiers and matchers in equational theories." Theoretical Computer Science 43 (1986): 189–200. http://dx.doi.org/10.1016/0304-3975(86)90175-1.
ÉSIK, Z. "THE POWER OF THE GROUP-IDENTITIES FOR ITERATION." International Journal of Algebra and Computation 10, no. 03 (June 2000): 349–73. http://dx.doi.org/10.1142/s0218196700000145.
Ésik, Z. "Equational properties of fixed-point operations in cartesian categories: An overview." Mathematical Structures in Computer Science 29, no. 06 (May 24, 2019): 909–25. http://dx.doi.org/10.1017/s0960129518000361.
Amy, Matthew. "Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes." Electronic Proceedings in Theoretical Computer Science 384 (August 23, 2023): 127–41. http://dx.doi.org/10.4204/eptcs.384.8.
Mordido, Andreia, and Carlos Caleiro. "Probabilistic logic over equations and domain restrictions." Mathematical Structures in Computer Science 29, no. 06 (March 8, 2019): 872–95. http://dx.doi.org/10.1017/s096012951800035x.
ÉSIK, ZOLTÁN. "Equational axioms associated with finite automata for fixed point operations in cartesian categories." Mathematical Structures in Computer Science 27, no. 1 (April 8, 2015): 54–69. http://dx.doi.org/10.1017/s0960129515000031.
Aguirre, Alejandro, and Lars Birkedal. "Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice." Proceedings of the ACM on Programming Languages 7, POPL (January 9, 2023): 33–60. http://dx.doi.org/10.1145/3571195.
Carette, Titouan, Emmanuel Jeandel, Simon Perdrix, and Renaud Vilmart. "Completeness of Graphical Languages for Mixed State Quantum Mechanics." ACM Transactions on Quantum Computing 2, no. 4 (December 31, 2021): 1–28. http://dx.doi.org/10.1145/3464693.
Choudhury, Vikraman, Jacek Karwowski, and Amr Sabry. "Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages." Proceedings of the ACM on Programming Languages 6, POPL (January 16, 2022): 1–32. http://dx.doi.org/10.1145/3498667.
Alfanur, Farah, and Yasuo Kadono. "EMPIRICAL STUDY OF PURCHASE INTENTION AND BEHAVIOR OF E-COMMERCE CONSUMERS IN INDONESIA." MALAYSIAN E COMMERCE JOURNAL 5, no. 1 (November 16, 2021): 20–28. http://dx.doi.org/10.26480/mecj.01.2021.20.28.
Ikebuchi, Mirai. "A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods." Logical Methods in Computer Science Volume 18, Issue 3 (September 21, 2022). http://dx.doi.org/10.46298/lmcs-18(3:36)2022.
Szabo, Peter, and Jörg Siekmann. "E-Unification based on Generalized Embedding." Mathematical Structures in Computer Science, March 24, 2022, 1–20. http://dx.doi.org/10.1017/s0960129522000019.
AFFELDT, REYNALD, JACQUES GARRIGUE, DAVID NOWAK, and TAKAFUMI SAIKAWA. "A trustful monad for axiomatic reasoning with probability and nondeterminism." Journal of Functional Programming 31 (2021). http://dx.doi.org/10.1017/s0956796821000137.
Ésik, Zoltán. "Continuous Additive Algebras and Injective Simulations of Synchronization Trees." BRICS Report Series 7, no. 25 (January 25, 2000). http://dx.doi.org/10.7146/brics.v7i25.20153.
Dahlqvist, Fredrik, and Renato Neves. "The syntactic side of autonomous categories enriched over generalised metric spaces." Logical Methods in Computer Science Volume 19, Issue 4 (December 18, 2023). http://dx.doi.org/10.46298/lmcs-19(4:31)2023.
Bacci, Giorgio, Radu Mardare, Prakash Panangaden, and Gordon Plotkin. "Propositional Logics for the Lawvere Quantale." Electronic Notes in Theoretical Informatics and Computer Science Volume 3 - Proceedings of... (November 23, 2023). http://dx.doi.org/10.46298/entics.12292.
Ésik, Zoltán, and Hans Leiß. "Greibach Normal Form in Algebraically Complete Semirings." BRICS Report Series 9, no. 46 (December 5, 2002). http://dx.doi.org/10.7146/brics.v9i46.21761.