JHAVÉ – More Visualizers (and Visualizations) Needed
- 作者Thomas L. Naps; Guido Rößling
- 卷第178卷
- 印刷ISSN1571-0661
- 文件大小563.46KB
- 发表时间2007
- DOI10.1016/j.entcs.2007.01.035
- 页码33-41
同作者推荐
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