[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: What's the context for TCC proofs?

To: Mark Aronszajn <aronsz@csee.wvu.edu>
Subject: Re: What's the context for TCC proofs?
From: Sam Owre <owre@csl.sri.com>
Date: Fri, 17 Jul 1998 12:32:13 -0700
cc: pvs_help list_serve <pvs-help@csl.sri.com>
In-reply-to: Your message of "Fri, 17 Jul 1998 13:22:33 EDT." <Pine.GSO.3.96.980717115437.22727B-100000@naur>

Mark,

Could you provide the theories involved?  I think I know what is going on
here, but I'd like to be sure before I try to answer this.

Thanks,

Sam Owre

References:
- What's the context for TCC proofs?
  - From: Mark Aronszajn <aronsz@csee.wvu.edu>

Prev by Date: What's the context for TCC proofs?
Next by Date: Re: Phonebook example from WIFT'95 paper not working?
Prev by thread: What's the context for TCC proofs?
Next by thread: Change in emacs version
Index(es):
- Date
- Thread