| 基于时序逻辑的超文本描述 |
| 其他题名 | temporal logic based hypertext specification
|
| 马华东; 赵琛
|
| 1999
|
| 发表期刊 | 计算机辅助设计与图形学学报
 |
| ISSN | 1003-9767
|
| 卷号 | 11期号:6页码:547-550 |
| 摘要 | 将基于时序逻辑的多媒体脚本描述模型从线性顺序时空关系描述推广到非线性时空关系的超文本描述，提出了一种新的超文本模型．通过该模型可将超文本的结点、链和超文本结构的逐步求精过程在一个统一的框架内描述．使用该模型设计的一个超文本标注语言已经实现，并基于该语言开发了一个交互式超文本编著环境． |
| 收录类别 | wanfang,cnki,cscd
|
| 关键词 | 编著系统
时序逻辑
超文本
|
| 部门归属 | 基础软件国家工程研究中心
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/4678
|
| 专题 | 基础软件国家工程研究中心
|
推荐引用方式
GB/T 7714 |
马华东,赵琛. 基于时序逻辑的超文本描述[J]. 计算机辅助设计与图形学学报,1999,11(6):547-550.
|
| APA |
马华东,&赵琛.(1999).基于时序逻辑的超文本描述.计算机辅助设计与图形学学报,11(6),547-550.
|
| MLA |
马华东,et al."基于时序逻辑的超文本描述".计算机辅助设计与图形学学报 11.6(1999):547-550.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论