Artykuły w czasopismach na temat „Complete equational theories”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 19 najlepszych artykułów w czasopismach naukowych na temat „Complete equational theories”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
Hölldobler, Steffen. "Conditional equational theories and complete sets of transformations". Theoretical Computer Science 75, nr 1-2 (1990): 85–110. http://dx.doi.org/10.1016/0304-3975(90)90063-n.
Pełny tekst źródłaCerna, David M., i Temur Kutsia. "Higher-order pattern generalization modulo equational theories". Mathematical Structures in Computer Science 30, nr 6 (20.05.2020): 627–63. http://dx.doi.org/10.1017/s0960129520000110.
Pełny tekst źródłaFages, François, i 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.
Pełny tekst źródłaÉSIK, Z. "THE POWER OF THE GROUP-IDENTITIES FOR ITERATION". International Journal of Algebra and Computation 10, nr 03 (czerwiec 2000): 349–73. http://dx.doi.org/10.1142/s0218196700000145.
Pełny tekst źródłaÉsik, Z. "Equational properties of fixed-point operations in cartesian categories: An overview". Mathematical Structures in Computer Science 29, nr 06 (24.05.2019): 909–25. http://dx.doi.org/10.1017/s0960129518000361.
Pełny tekst źródłaAmy, Matthew. "Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes". Electronic Proceedings in Theoretical Computer Science 384 (23.08.2023): 127–41. http://dx.doi.org/10.4204/eptcs.384.8.
Pełny tekst źródłaMordido, Andreia, i Carlos Caleiro. "Probabilistic logic over equations and domain restrictions". Mathematical Structures in Computer Science 29, nr 06 (8.03.2019): 872–95. http://dx.doi.org/10.1017/s096012951800035x.
Pełny tekst źródłaÉSIK, ZOLTÁN. "Equational axioms associated with finite automata for fixed point operations in cartesian categories". Mathematical Structures in Computer Science 27, nr 1 (8.04.2015): 54–69. http://dx.doi.org/10.1017/s0960129515000031.
Pełny tekst źródłaAguirre, Alejandro, i Lars Birkedal. "Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice". Proceedings of the ACM on Programming Languages 7, POPL (9.01.2023): 33–60. http://dx.doi.org/10.1145/3571195.
Pełny tekst źródłaCarette, Titouan, Emmanuel Jeandel, Simon Perdrix i Renaud Vilmart. "Completeness of Graphical Languages for Mixed State Quantum Mechanics". ACM Transactions on Quantum Computing 2, nr 4 (31.12.2021): 1–28. http://dx.doi.org/10.1145/3464693.
Pełny tekst źródłaChoudhury, Vikraman, Jacek Karwowski i Amr Sabry. "Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages". Proceedings of the ACM on Programming Languages 6, POPL (16.01.2022): 1–32. http://dx.doi.org/10.1145/3498667.
Pełny tekst źródłaAlfanur, Farah, i Yasuo Kadono. "EMPIRICAL STUDY OF PURCHASE INTENTION AND BEHAVIOR OF E-COMMERCE CONSUMERS IN INDONESIA". MALAYSIAN E COMMERCE JOURNAL 5, nr 1 (16.11.2021): 20–28. http://dx.doi.org/10.26480/mecj.01.2021.20.28.
Pełny tekst źródłaIkebuchi, Mirai. "A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods". Logical Methods in Computer Science Volume 18, Issue 3 (21.09.2022). http://dx.doi.org/10.46298/lmcs-18(3:36)2022.
Pełny tekst źródłaSzabo, Peter, i Jörg Siekmann. "E-Unification based on Generalized Embedding". Mathematical Structures in Computer Science, 24.03.2022, 1–20. http://dx.doi.org/10.1017/s0960129522000019.
Pełny tekst źródłaAFFELDT, REYNALD, JACQUES GARRIGUE, DAVID NOWAK i 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.
Pełny tekst źródłaÉsik, Zoltán. "Continuous Additive Algebras and Injective Simulations of Synchronization Trees". BRICS Report Series 7, nr 25 (25.01.2000). http://dx.doi.org/10.7146/brics.v7i25.20153.
Pełny tekst źródłaDahlqvist, Fredrik, i Renato Neves. "The syntactic side of autonomous categories enriched over generalised metric spaces". Logical Methods in Computer Science Volume 19, Issue 4 (18.12.2023). http://dx.doi.org/10.46298/lmcs-19(4:31)2023.
Pełny tekst źródłaBacci, Giorgio, Radu Mardare, Prakash Panangaden i Gordon Plotkin. "Propositional Logics for the Lawvere Quantale". Electronic Notes in Theoretical Informatics and Computer Science Volume 3 - Proceedings of... (23.11.2023). http://dx.doi.org/10.46298/entics.12292.
Pełny tekst źródłaÉsik, Zoltán, i Hans Leiß. "Greibach Normal Form in Algebraically Complete Semirings". BRICS Report Series 9, nr 46 (5.12.2002). http://dx.doi.org/10.7146/brics.v9i46.21761.
Pełny tekst źródła