Re: Deduction modulo in CoS
Guillaume Burel <[email protected]> Wed, 15 Mar 2006 16:45:47 +0100
| Newsgroups | gmane.science.mathematics.frogs |
|---|---|
| Message-ID | <[email protected]> |
Hello, If you are interested, you can find the completion procedure I spoke about in my last mail, in the sequent calculus, in the paper located at: http://www.loria.fr/~burel/download/gencomp.pdf Your comments will be of course welcome. Best regards, Guillaume Burel
signature.asc
(application/pgp-signature, 253 B)
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.4 (Darwin) Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org iD8DBQFEGDarFylLGVFQm10RAkhUAKCDAmIft7IbRRq1YynSIUNuAAHu/gCff3tf j+SqO4i3mgskm1TJXjIajkQ= =WI5w -----END PGP SIGNATURE-----