F. Blanqui. A type-based termination criterion for dependently-typed higher-order rewrite systems. In V. van Oostrom, editor, Proceedings of RTA'04, volume 3091 of Lecture Notes in Computer Science, pages 24--39, 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Decidability of Type-checking in the Calculus of Algebraic.. - Blanqui (2005) Self-citation (Blanqui) (Correct)
No context found.
F. Blanqui. A type-based termination criterion for dependently-typed higher-order rewrite systems. In Proc. of RTA'04, LNCS 3091.
Decidability of Type-checking in the Calculus of Algebraic.. - Blanqui (2005) Self-citation (Blanqui) (Correct)
No context found.
F. Blanqui. A type-based termination criterion for dependently-typed higher-order rewrite systems. In Proceedings of the 15th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science 3091, 2004.
Practical Inference for Typed-Based Termination in a.. - Barthe, Gregoire.. (Correct)
No context found.
F. Blanqui. A type-based termination criterion for dependently-typed higher-order rewrite systems. In V. van Oostrom, editor, Proceedings of RTA'04, volume 3091 of Lecture Notes in Computer Science, pages 24--39, 2004.
Termination Checking with Types - Abel (1999) (6 citations) (Correct)
No context found.
F. Blanqui. A type-based termination criterion for dependently-typed higher-order rewrite systems. In 15th International Conference on Rewriting Techniques and Applications (RTA 04), June 3 - 5, 2004.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC