Documents Related by Co-Citation

187 The Size-Change Principle for Program Termination – Chin Soon Lee, Neil D. Jones, Amir M. Ben-amram - 2001
760 Types and Programming Languages – Benjamin C Pierce - 2002
605 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
669 Light Linear Logic – Jean-yves Girard
1093 Depth first search and linear graph algorithms – Robert Tarjan - 1972
571 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
795 Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002
2429 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990