Artigos de revistas sobre o tema "Multiplicative-additive linear logic"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 30 melhores artigos de revistas para estudos sobre o assunto "Multiplicative-additive linear logic".
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.
MAZZA, DAMIANO. "Infinitary affine proofs". Mathematical Structures in Computer Science 27, n.º 5 (7 de julho de 2015): 581–602. http://dx.doi.org/10.1017/s0960129515000298.
Texto completo da fonteLafont, Yves. "The undecidability of second order linear logic without exponentials". Journal of Symbolic Logic 61, n.º 2 (junho de 1996): 541–48. http://dx.doi.org/10.2307/2275674.
Texto completo da fonteCockett, J. R. B., e C. A. Pastro. "A Language For Multiplicative-additive Linear Logic". Electronic Notes in Theoretical Computer Science 122 (março de 2005): 23–65. http://dx.doi.org/10.1016/j.entcs.2004.06.049.
Texto completo da fonteO'Hearn, Peter W., e David J. Pym. "The Logic of Bunched Implications". Bulletin of Symbolic Logic 5, n.º 2 (junho de 1999): 215–44. http://dx.doi.org/10.2307/421090.
Texto completo da fonteCHAUDHURI, KAUSTUV. "Expressing additives using multiplicatives and subexponentials". Mathematical Structures in Computer Science 28, n.º 5 (21 de novembro de 2016): 651–66. http://dx.doi.org/10.1017/s0960129516000293.
Texto completo da fonteHughes, Dominic J. D., e Rob J. Van Glabbeek. "Proof nets for unit-free multiplicative-additive linear logic". ACM Transactions on Computational Logic 6, n.º 4 (outubro de 2005): 784–842. http://dx.doi.org/10.1145/1094622.1094629.
Texto completo da fonteCHAUDHURI, KAUSTUV, JOËLLE DESPEYROUX, CARLOS OLARTE e ELAINE PIMENTEL. "Hybrid linear logic, revisited". Mathematical Structures in Computer Science 29, n.º 8 (22 de abril de 2019): 1151–76. http://dx.doi.org/10.1017/s0960129518000439.
Texto completo da fonteOkada, Mitsuhiro, e Kazushige Terui. "The finite model property for various fragments of intuitionistic linear logic". Journal of Symbolic Logic 64, n.º 2 (junho de 1999): 790–802. http://dx.doi.org/10.2307/2586501.
Texto completo da fonteHamano, Masahiro. "A MALL geometry of interaction based on indexed linear logic". Mathematical Structures in Computer Science 30, n.º 10 (novembro de 2020): 1025–53. http://dx.doi.org/10.1017/s0960129521000062.
Texto completo da fonteBucciarelli, Antonio, e Thomas Ehrhard. "On phase semantics and denotational semantics in multiplicative–additive linear logic". Annals of Pure and Applied Logic 102, n.º 3 (abril de 2000): 247–82. http://dx.doi.org/10.1016/s0168-0072(99)00040-8.
Texto completo da fonteJoinet, Jean-Baptiste, Harold Schellinx e Lorenzo Tortora De Falco. "SN and CR for free-style LKtq: linear decorations and simulation of normalization". Journal of Symbolic Logic 67, n.º 1 (março de 2002): 162–96. http://dx.doi.org/10.2178/jsl/1190150036.
Texto completo da fonteLafont, Yves. "The finite model property for various fragments of linear logic". Journal of Symbolic Logic 62, n.º 4 (dezembro de 1997): 1202–8. http://dx.doi.org/10.2307/2275637.
Texto completo da fonteMetcalfe, George, e Franco Montagna. "Substructural fuzzy logics". Journal of Symbolic Logic 72, n.º 3 (setembro de 2007): 834–64. http://dx.doi.org/10.2178/jsl/1191333844.
Texto completo da fonteBlute, R. F., e P. J. Scott. "The shuffle Hopf algebra and noncommutative full completeness". Journal of Symbolic Logic 63, n.º 4 (dezembro de 1998): 1413–36. http://dx.doi.org/10.2307/2586659.
Texto completo da fonteKou, Junke, Qinmei Huang e Huijun Guo. "Pointwise Wavelet Estimations for a Regression Model in Local Hölder Space". Axioms 11, n.º 9 (10 de setembro de 2022): 466. http://dx.doi.org/10.3390/axioms11090466.
Texto completo da fonteGIAMBERARDINO, PAOLO DI. "Jump from parallel to sequential proofs: exponentials". Mathematical Structures in Computer Science 28, n.º 7 (5 de dezembro de 2016): 1204–52. http://dx.doi.org/10.1017/s0960129516000414.
Texto completo da fonteHryhorenko, Ihor, Serhii Kondrashov e Aleksandr Opryshkin. "FORMATION OF TEST IMPACTS FOR THE FIRST LEVEL OF THE INFORMATION AND MEASUREMENT SYSTEM". Bulletin of the National Technical University «KhPI» Series: New solutions in modern technologies, n.º 1(15) (5 de maio de 2023): 19–26. http://dx.doi.org/10.20998/2413-4295.2023.01.03.
Texto completo da fonteGallinaro, Francesco Paolo. "Around Exponential-Algebraic Closedness". Bulletin of Symbolic Logic 29, n.º 2 (junho de 2023): 300. http://dx.doi.org/10.1017/bsl.2022.46.
Texto completo da fonteZimmermann, Ernst. "Natural Deduction Bottom Up". Journal of Logic, Language and Information 30, n.º 3 (16 de março de 2021): 601–31. http://dx.doi.org/10.1007/s10849-021-09329-8.
Texto completo da fonteO'HEARN, PETER. "On bunched typing". Journal of Functional Programming 13, n.º 4 (25 de junho de 2003): 747–96. http://dx.doi.org/10.1017/s0956796802004495.
Texto completo da fonteTroquard, Nicolas. "Individual resource games and resource redistributions". Journal of Logic and Computation 30, n.º 5 (28 de maio de 2020): 1023–62. http://dx.doi.org/10.1093/logcom/exaa031.
Texto completo da fonteFirth, David. "1. Overcoming the Reference Category Problem in the Presentation of Statistical Models". Sociological Methodology 33, n.º 1 (agosto de 2003): 1–18. http://dx.doi.org/10.1111/j.0081-1750.2003.t01-1-00125.x.
Texto completo da fontePiazza, Mario, Gabriele Pulcini e Matteo Tesi. "Linear logic in a refutational setting". Journal of Logic and Computation, 10 de agosto de 2023. http://dx.doi.org/10.1093/logcom/exad048.
Texto completo da fonteDíaz-Caro, Alejandro, e Gilles Dowek. "A linear linear lambda-calculus". Mathematical Structures in Computer Science, 31 de maio de 2024, 1–35. http://dx.doi.org/10.1017/s0960129524000197.
Texto completo da fonteFussner, Wesley, e Simon Santschi. "Interpolation in Linear Logic and Related Systems". ACM Transactions on Computational Logic, 25 de julho de 2024. http://dx.doi.org/10.1145/3680284.
Texto completo da fontePłaczek, Paweł. "Sequent systems for consequence relations of cyclic linear logics". Bulletin of the Section of Logic, 24 de abril de 2024. http://dx.doi.org/10.18778/0138-0680.2024.06.
Texto completo da fonteHYVERNAT, PIERRE. "A linear category of polynomial diagrams". Mathematical Structures in Computer Science 24, n.º 1 (17 de maio de 2013). http://dx.doi.org/10.1017/s0960129512001016.
Texto completo da fonteKUZNETSOV, STEPAN. "COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR". Review of Symbolic Logic, 22 de julho de 2020, 1–27. http://dx.doi.org/10.1017/s1755020320000209.
Texto completo da fonteRastin, Sepideh J., David A. Rhoades, Chris Rollins, Matthew C. Gerstenberger, Annemarie Christophersen e Kiran K. S. Thingbaijam. "Spatial Distribution of Earthquake Occurrence for the New Zealand National Seismic Hazard Model 2022". Bulletin of the Seismological Society of America, 31 de maio de 2024. http://dx.doi.org/10.1785/0120230173.
Texto completo da fonteHössjer, Ola, Ingrid Kockum, Lars Alfredsson, Anna Karin Hedström, Tomas Olsson e Magnus Lekman. "A General Framework for and New Normalization of Attributable Proportion". Epidemiologic Methods 6, n.º 1 (23 de dezembro de 2016). http://dx.doi.org/10.1515/em-2015-0028.
Texto completo da fonte