Efficient execution in an automated reasoning environment (2006)

by David A. Greve , Matt Kaufmann , Panagiotis Manolios , J Strother Moore S , Rob Sumners , Daron Vroon , Matthew Wilding
Venue:Journal of Functional Programming
Citations:10 - 4 self

Active Bibliography

5 Ordinal arithmetic: Algorithms and mechanization – Panagiotis Manolios, Daron Vroon - 2006
638 Model Theory – Wilfrid Hodges - 2000
964 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
914 The Temporal Logic of Actions – Leslie Lamport - 1993
755 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
616 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
11 Algorithms for ordinal arithmetic – Panagiotis Manolios, Daron Vroon - 2003
437 Yago: A Core of Semantic Knowledge – Fabian M. Suchanek, Gerhard Weikum, Fabian M. Suchanek, Gjergji Kasneci, Gerhard Weikum - 2007
9 Ordinal arithmetic in ACL2 – Panagiotis Manolios, Daron Vroon - 2003