Stehr, M.-O.: 2002, `Programming, Specification, and Interactive Theorem Proving --- Towards a Unified Language based on Equational Logic, Rewriting Logic, and Type Theory'. Doctoral Thesis, Universit at Hamburg, Fachbereich Informatik, Germany. http:// www.sub.uni-hamburg.de/disse/810/.

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
Representing the MSR Cryptoprotocol Specification Language.. - Cervesato, Stehr (2005)   Self-citation (Stehr)   (Correct)

No context found.

Stehr, M.-O.: 2002, `Programming, Specification, and Interactive Theorem Proving --- Towards a Unified Language based on Equational Logic, Rewriting Logic, and Type Theory'. Doctoral Thesis, Universit at Hamburg, Fachbereich Informatik, Germany. http:// www.sub.uni-hamburg.de/disse/810/.

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