The MVL theorem proving system

@article{Ginsberg1991TheMT,
  title={The MVL theorem proving system},
  author={Matthew L. Ginsberg},
  journal={SIGART Bull.},
  year={1991},
  volume={2},
  pages={57-60}
}
  • Matthew L. Ginsberg
  • Published 1991
  • Computer Science
  • SIGART Bull.
  • The MVL theorem-proving system is an implementation of theoretical work currently under way at Stanford University. Theoretical progress made there is regularly included in MVL in order to ensure that the ideas developed theoretically can be tested experimentally as well. 

    Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 16 CITATIONS

    Modality and interrupts

    VIEW 1 EXCERPT
    CITES METHODS

    Flat matching

    • Temur Kutsia
    • Computer Science, Mathematics
    • J. Symb. Comput.
    • 2008
    VIEW 1 EXCERPT
    CITES METHODS

    Solving Equations Involving Sequence Variables and Sequence Functions

    VIEW 1 EXCERPT
    CITES BACKGROUND

    Unranked tableaux calculus for web related applications

    VIEW 1 EXCERPT
    CITES BACKGROUND

    The Transition Calculus: a high-level formalism for reasoning about action and change

    VIEW 2 EXCERPTS
    CITES BACKGROUND