咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 combinatorial pa...
  • 1 篇 logic in computi...
  • 1 篇 music informatio...

机构

  • 1 篇 univ helsinki de...
  • 1 篇 univ helsinki de...

作者

  • 1 篇 lemström k
  • 1 篇 hella l

语言

  • 1 篇 英文
检索条件"主题词=logic in computing"
1 条 记 录,以下是1-10 订阅
排序:
Approximate pattern matching and transitive closure logics
收藏 引用
THEORETICAL COMPUTER SCIENCE 2003年 第1-3期299卷 387-412页
作者: Lemström, K Hella, L Univ Helsinki Dept Comp Sci FIN-00014 Helsinki Finland Univ Helsinki Dept Math FIN-00014 Helsinki Finland
A sartorial query language facilitates the formulation of queries to a (string) database. One step towards an implementation of such a query language can be taken by defining a logical formalism expressing a known sol... 详细信息
来源: 评论