• 已选条件：
 全选  【符合条件的数据共：30条】

1 HIGHER-ORDER (NON-)MODULARITY [会议论文]

作者:CLAUS APPEL 1 AND VINCENT VAN OOSTROM 2 AND JAKOB GRUE SIMONSEN 1, E-mail address, J. G. Simonsen: simonsen@diku.dk

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：3  ]    

2 ON (UN)SOUNDNESS OF UNRAVELINGS [会议论文]

作者:KARL GMEINER 1 AND BERNHARD GRAMLICH 1 AND FELIX SCHERNHAMMER 1

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：2  ]    

3 TERMINATION OF LINEAR BOUNDED TERM REWRITING SYSTEMS [会议论文]

作者:IRE`NE DURAND 1 AND GE´RAUD SE´NIZERGUES 1 AND MARC SYLVESTRE 1, E-mail address, G. Se´nizergues: ges@labri.fr

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：4  ]    

4 A PROOF CALCULUS WHICH REDUCES SYNTACTIC BUREAUCRACY [会议论文]

作者:ALESSIO GUGLIELMI 1 AND TOM GUNDERSEN 2 AND MICHEL PARIGOT 3

会议时间:

预览  |  原文链接  |  全文  [ 浏览：2 下载：2  ]    

5 OPTIMIZING MKBTT (SYSTEM DESCRIPTION) [会议论文]

作者:SARAH WINKLER 1 AND HARUHIKO SATO 2 AND;Technology;E-mail address;等

会议时间:

预览  |  原文链接  |  全文  [ 浏览：2 下载：2  ]    

6 ORDER-SORTED UNIFICATION WITH REGULAR EXPRESSION SORTS [会议论文]

作者:TEMUR KUTSIA 1 AND MIRCEA MARIN 2, URL: http://www.risc.uni-linz.ac.at/people/tkutsia/

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：4  ]