An Internet Query Language based on Intuitionistic Linear Logic
Busan（2007）
关键词
circ g,current text,form d,internet search,intuitionistic linear logic,internet query language,linear implication,current text dynamically,regular expression,information retrieval,query language,theory of computation,linear logic,query languages,internet
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要