Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
- 作者Emanuel Kitzelmann; Ute Schmid
- 卷第174卷
- 期第1期
- 印刷ISSN1571-0661
- 文件大小308.56KB
- 发表时间2007
- DOI10.1016/j.entcs.2006.11.015
- 页码49-63
同作者推荐
PrefaceAlberto Momigliano; Brigitte Pientka · 2007
PrefaceBrigitte Pientka; Carsten Schürmann · 2008
Connection-Driven Inductive Theorem ProvingChristoph Kreitz; Brigitte Pientka · Studia Logica · 2001
Contextual modal type theoryNanevski, Aleksandar; Pfenning, Frank; Pientka, Brigitte · ACM Transactions on Computational Logic · 2008
Wellfounded recursion with copatternsAbel, Andreas M.; Pientka, Brigitte · ACM SIGPLAN Notices · 2013
Intuitionistic Modal Logic and Applications (IMLA 2008)Valeria de Paiva; Brigitte Pientka · 2011
Case Analysis of Higher-Order DataJoshua Dunfield; Brigitte Pientka · 2009
Higher-order term indexing using substitution treesPientka, Brigitte · ACM Transactions on Computational Logic · 2009