|
|
Re: Deduction modulo in CoS: msg#00001science.mathematics.frogs
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
|
|
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| Previous by Date: | Re:Deduction modulo in CoS: 00001, Alessio Guglielmi |
|---|---|
| Next by Date: | congratulations!: 00001, D Richardson |
| Previous by Thread: | Re:Deduction modulo in CoSi: 00001, Alessio Guglielmi |
| Next by Thread: | congratulations!: 00001, D Richardson |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
| News | FAQ | advertise |
