首页> 外文OA文献 >Modules over a quantale and models for the operator $!$ in linear logic

【2h】

Modules over a quantale and models for the operator $!$ in linear logic

机译：量化逻辑中的模块和用于操作符$！$的线性逻辑模型

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Rosenthal Kimmo I.;
展开▼
作者单位

展开▼
年度 1994
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Quantale Modules and their Operators, with Applications [J] . CIRO RUSSO Journal of logic and computation . 2010,第4期

机译：Quantale模块及其运算符，以及应用程序
2. Computational matrix representation modules for linear operators with explicit constructions for a class of lie operators [J] . Jyun-Horng Fu, David F. Miller Journal of Computational and Applied Mathematics . 1998,第1期

机译：线性算子的计算矩阵表示模块，具有一类lie算子的显式构造
3. Quantized Linear Logic, Involutive Quantales and Strong Negation [J] . Norihiro Kamide Studia Logica . 2004,第3期

机译：量化线性逻辑，渐进式量化和强求反
4. Linear logic operators in transparent intensional logic [C] . Liberios Vokorokos, Zuzana Bilanová, Daniel Mihályi IEEE International Scientific Conference on Informatics . 2017

机译：透明内涵逻辑中的线性逻辑运算符
5. Robust and Interpretable Learning for Operator-Theoretic Modeling of Non-Linear Dynamics [D] . Pan, Shaowu. 2021

机译：非线性动力学操作员理论模型的鲁棒和可解释学习
6. Piece-wise linear models of biological systems—Application analysis and comparison with nonlinear models using the example of the p53 regulatory module [O] . Magdalena Ochab, Krzysztof Puszynski 2020

机译：用P53监管模块的示例生物系统 - 应用分析和与非线性模型的比较和比较
7. Quantale Modules and their Operators, with Applications [O] . Ciro Russo 2016

机译：Quantale模块及其运算符，包括应用程序
8. User's Guide on the Use of GOES-8, SSM/T and SSM/T-2 Radiance Measurements in MM5: The Radiative Transfer Models, and Their Tangent Linear and Adjoint operators [R] . Xiao, Q. , Zou, X. 1999

机译：mm5中使用GOEs-8，ssm / T和ssm / T-2辐射测量的用户指南：辐射传输模型及其切线线性和伴随算子

Modules over a quantale and models for the operator $!$ in linear logic

著录项

引文网络

相似文献

相关主题

期刊订阅