Artigos de revistas sobre o tema "Complete equational theories"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 19 melhores artigos de revistas para estudos sobre o assunto "Complete equational theories".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja os artigos de revistas das mais diversas áreas científicas e compile uma bibliografia correta.
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.
Texto completo da fonteCerna, David M., e Temur Kutsia. "Higher-order pattern generalization modulo equational theories". Mathematical Structures in Computer Science 30, n.º 6 (20 de maio de 2020): 627–63. http://dx.doi.org/10.1017/s0960129520000110.
Texto completo da fonteFages, 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.
Texto completo da fonteÉSIK, Z. "THE POWER OF THE GROUP-IDENTITIES FOR ITERATION". International Journal of Algebra and Computation 10, n.º 03 (junho de 2000): 349–73. http://dx.doi.org/10.1142/s0218196700000145.
Texto completo da fonteÉsik, Z. "Equational properties of fixed-point operations in cartesian categories: An overview". Mathematical Structures in Computer Science 29, n.º 06 (24 de maio de 2019): 909–25. http://dx.doi.org/10.1017/s0960129518000361.
Texto completo da fonteAmy, Matthew. "Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes". Electronic Proceedings in Theoretical Computer Science 384 (23 de agosto de 2023): 127–41. http://dx.doi.org/10.4204/eptcs.384.8.
Texto completo da fonteMordido, Andreia, e Carlos Caleiro. "Probabilistic logic over equations and domain restrictions". Mathematical Structures in Computer Science 29, n.º 06 (8 de março de 2019): 872–95. http://dx.doi.org/10.1017/s096012951800035x.
Texto completo da fonteÉ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 de abril de 2015): 54–69. http://dx.doi.org/10.1017/s0960129515000031.
Texto completo da fonteAguirre, Alejandro, e Lars Birkedal. "Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice". Proceedings of the ACM on Programming Languages 7, POPL (9 de janeiro de 2023): 33–60. http://dx.doi.org/10.1145/3571195.
Texto completo da fonteCarette, 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 de dezembro de 2021): 1–28. http://dx.doi.org/10.1145/3464693.
Texto completo da fonteChoudhury, 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 de janeiro de 2022): 1–32. http://dx.doi.org/10.1145/3498667.
Texto completo da fonteAlfanur, 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 de novembro de 2021): 20–28. http://dx.doi.org/10.26480/mecj.01.2021.20.28.
Texto completo da fonteIkebuchi, Mirai. "A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods". Logical Methods in Computer Science Volume 18, Issue 3 (21 de setembro de 2022). http://dx.doi.org/10.46298/lmcs-18(3:36)2022.
Texto completo da fonteSzabo, Peter, e Jörg Siekmann. "E-Unification based on Generalized Embedding". Mathematical Structures in Computer Science, 24 de março de 2022, 1–20. http://dx.doi.org/10.1017/s0960129522000019.
Texto completo da fonteAFFELDT, 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.
Texto completo da fonteÉsik, Zoltán. "Continuous Additive Algebras and Injective Simulations of Synchronization Trees". BRICS Report Series 7, n.º 25 (25 de janeiro de 2000). http://dx.doi.org/10.7146/brics.v7i25.20153.
Texto completo da fonteDahlqvist, 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 de dezembro de 2023). http://dx.doi.org/10.46298/lmcs-19(4:31)2023.
Texto completo da fonteBacci, 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 de novembro de 2023). http://dx.doi.org/10.46298/entics.12292.
Texto completo da fonteÉsik, Zoltán, e Hans Leiß. "Greibach Normal Form in Algebraically Complete Semirings". BRICS Report Series 9, n.º 46 (5 de dezembro de 2002). http://dx.doi.org/10.7146/brics.v9i46.21761.
Texto completo da fonte