论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 基础科学期刊 \
- 大学学报期刊 \
- 中山大学学报(自然科学版)期刊 \
并发Lambek演算在时态查询中的语义转换
并发Lambek演算在时态查询中的语义转换
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lambek演算(LCTQ)及其范畴语法用以作时态查询的句法分析.根据LCTQ演算构造相应的LCTQ标号自然演绎系统,从而提供句法演算到语义计算的转换方式,为时态查询语句的语义分析提供相关接口.
推荐文章
时态查询语言的并发Lambek演算及范畴语法
时态查询语言
句法分析
并发的Lambek演算
范畴语法
χ-演算与π-演算的语义比较研究
并行理论
进程代数
互模拟
基于Hadoop的时态信息存储与时态关系演算问题研究
时态信息
Hadoop
数据存储模型
时态关系演算
医疗时态数据
时态RDF扩展及其SPARQL查询语言
资源描述框架
时态扩展
时态蕴涵
查询语言
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 并发Lambek演算在时态查询中的语义转换 | ||
| 来源期刊 | 中山大学学报(自然科学版) | 学科 | 工学 |
| 关键词 | 时态查询 并发的Lambek演算 语义转换 标号自然演绎系统 | ||
| 年，卷（期） | 2009,（1） | 所属期刊栏目 | 计算机协同技术 |
| 研究方向 | 页码范围 | 137-140 | |
| 页数 | 4页 | 分类号 | TP301 |
| 字数 | 2433字 | 语种 | 中文 |
| DOI | 10.3321/j.issn:0529-6579.2009.01.028 | ||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (1)
节点文献
引证文献 (1)
同被引文献 (0)
二级引证文献 (0)
1958(1)
- 参考文献（1）
- 二级参考文献（0）
2009(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2018(1)
- 引证文献（1）
- 二级引证文献（0）
研究主题发展历程
节点文献
时态查询
并发的Lambek演算
语义转换
标号自然演绎系统
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
中山大学学报(自然科学版)
主办单位：
中山大学
出版周期：
双月刊
ISSN：
0529-6579
CN：
44-1241/N
开本：
大16开
出版地：
广东省广州市新港西路135号
邮发代号：
46-15
创刊时间：
1955
语种：
chi
出版文献量（篇）
5017
总下载数（次）
6
总被引数（次）
45576
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
中山大学学报(自然科学版)2022
中山大学学报(自然科学版)2021
中山大学学报(自然科学版)2020
中山大学学报(自然科学版)2019
中山大学学报(自然科学版)2018
中山大学学报(自然科学版)2017
中山大学学报(自然科学版)2016
中山大学学报(自然科学版)2015
中山大学学报(自然科学版)2014
中山大学学报(自然科学版)2013
中山大学学报(自然科学版)2012
中山大学学报(自然科学版)2011
中山大学学报(自然科学版)2010
中山大学学报(自然科学版)2009
中山大学学报(自然科学版)2008
中山大学学报(自然科学版)2007
中山大学学报(自然科学版)2006
中山大学学报(自然科学版)2005
中山大学学报(自然科学版)2004
中山大学学报(自然科学版)2003
中山大学学报(自然科学版)2002
中山大学学报(自然科学版)2001
中山大学学报(自然科学版)2000
中山大学学报(自然科学版)1999
中山大学学报(自然科学版)2009年第z2期
中山大学学报(自然科学版)2009年第z1期
中山大学学报(自然科学版)2009年第6期
中山大学学报(自然科学版)2009年第5期
中山大学学报(自然科学版)2009年第4期
中山大学学报(自然科学版)2009年第3期
中山大学学报(自然科学版)2009年第2期
中山大学学报(自然科学版)2009年第1期
