JosD: Sergei N. Artemov CUNY Graduate Center
JosD: May 7, 2002 Talk at the New York Academy of Sciences
JosD: ...Logic of Proofs = classical logic + additional atoms proofPolynomial:Formula
JosD: ...proofPolynomial constructed from atomic proofs by elementary computable operations corresponding to modus ponens, proof checker and nondeterministic choice
JosD: May 7, 2002 Talk at the New York Academy of Sciences
JosD: ...Logic of Proofs = classical logic + additional atoms proofPolynomial:Formula
JosD: ...proofPolynomial constructed from atomic proofs by elementary computable operations corresponding to modus ponens, proof checker and nondeterministic choice
DanC: by MIT Theory of Distributed Systems folk, incl. S. Garland
DanC: hmm... useful for Web Services analysis?
DanC: hmm... useful for Web Services analysis?
MarkB: nah, it's got the word "theory" in it, so clearly isn't suitable from a time-to-market perspective 8-/
DanC: interesting... their "hello world" example is a bank account, just like the paper trail bank.
DanC: hmm... useful for Web Services analysis?
DanC: hmm... useful for Web Services analysis?
MarkB: nah, it's got the word "theory" in it, so clearly isn't suitable from a time-to-market perspective 8-/
DanC: interesting... their "hello world" example is a bank account, just like the paper trail bank.
DanC: hmm... how about defining OpenSourceLicense in terms of log:content, string:scrape, and the like?
danja: a bit lighter, easier on the Palm, but very slooww
danja: also http://www.isacat.net/2002/irclogs/last_year.asp is this date last year
danja: also http://www.isacat.net/2002/irclogs/last_year.asp is this date last year