Articoli di riviste sul tema "Complete equational theories"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Vedi i top-19 articoli di riviste per l'attività di ricerca sul tema "Complete equational theories".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Vedi gli articoli di riviste di molte aree scientifiche e compila una bibliografia corretta.
Hölldobler, Steffen. "Conditional equational theories and complete sets of transformations". Theoretical Computer Science 75, n. 1-2 (1990): 85–110. http://dx.doi.org/10.1016/0304-3975(90)90063-n.
Cerna, David M., e Temur Kutsia. "Higher-order pattern generalization modulo equational theories". Mathematical Structures in Computer Science 30, n. 6 (20 maggio 2020): 627–63. http://dx.doi.org/10.1017/s0960129520000110.
Fages, François, e 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, n. 03 (giugno 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, n. 06 (24 maggio 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 (23 agosto 2023): 127–41. http://dx.doi.org/10.4204/eptcs.384.8.
Mordido, Andreia, e Carlos Caleiro. "Probabilistic logic over equations and domain restrictions". Mathematical Structures in Computer Science 29, n. 06 (8 marzo 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, n. 1 (8 aprile 2015): 54–69. http://dx.doi.org/10.1017/s0960129515000031.
Aguirre, Alejandro, e Lars Birkedal. "Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice". Proceedings of the ACM on Programming Languages 7, POPL (9 gennaio 2023): 33–60. http://dx.doi.org/10.1145/3571195.
Carette, Titouan, Emmanuel Jeandel, Simon Perdrix e Renaud Vilmart. "Completeness of Graphical Languages for Mixed State Quantum Mechanics". ACM Transactions on Quantum Computing 2, n. 4 (31 dicembre 2021): 1–28. http://dx.doi.org/10.1145/3464693.
Choudhury, Vikraman, Jacek Karwowski e Amr Sabry. "Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages". Proceedings of the ACM on Programming Languages 6, POPL (16 gennaio 2022): 1–32. http://dx.doi.org/10.1145/3498667.
Alfanur, Farah, e Yasuo Kadono. "EMPIRICAL STUDY OF PURCHASE INTENTION AND BEHAVIOR OF E-COMMERCE CONSUMERS IN INDONESIA". MALAYSIAN E COMMERCE JOURNAL 5, n. 1 (16 novembre 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 (21 settembre 2022). http://dx.doi.org/10.46298/lmcs-18(3:36)2022.
Szabo, Peter, e Jörg Siekmann. "E-Unification based on Generalized Embedding". Mathematical Structures in Computer Science, 24 marzo 2022, 1–20. http://dx.doi.org/10.1017/s0960129522000019.
AFFELDT, REYNALD, JACQUES GARRIGUE, DAVID NOWAK e 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, n. 25 (25 gennaio 2000). http://dx.doi.org/10.7146/brics.v7i25.20153.
Dahlqvist, Fredrik, e Renato Neves. "The syntactic side of autonomous categories enriched over generalised metric spaces". Logical Methods in Computer Science Volume 19, Issue 4 (18 dicembre 2023). http://dx.doi.org/10.46298/lmcs-19(4:31)2023.
Bacci, Giorgio, Radu Mardare, Prakash Panangaden e Gordon Plotkin. "Propositional Logics for the Lawvere Quantale". Electronic Notes in Theoretical Informatics and Computer Science Volume 3 - Proceedings of... (23 novembre 2023). http://dx.doi.org/10.46298/entics.12292.
Ésik, Zoltán, e Hans Leiß. "Greibach Normal Form in Algebraically Complete Semirings". BRICS Report Series 9, n. 46 (5 dicembre 2002). http://dx.doi.org/10.7146/brics.v9i46.21761.