Documents Related by Co-Citation

48 On the base-dependence of sets of numbers recognizable by finite automata – A Cobham - 1969
514 Finite Model Theory – H-D EBBINHAUS, J FLUM - 1999
541 Introduction to HOL: A Theorem Proving Environment for Higher Order Logic.” Cambridge – M J C Gordon, T F Melham - 1993
1484 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
571 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
579 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
795 Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002
477 The Omega Test: a fast and practical integer programming algorithm for dependence analysis – William Pugh - 1992
615 An Introduction to Symbolic Dynamics and Coding – D Lind, B Marcus - 1995