sci.logic
[Top] [All Lists]
<prev [Date] next>
<prev [Thread] next>

Re: Program Synthesis and formallization?

from [Steven Zenith]
Subject: Re: Program Synthesis and formallization?
From: "Steven Zenith"
Date: 3 Oct 2006 22:05:46 -0700
Newsgroups: sci.logic, sci.math 
Charlie-Boo wrote:
>  That is what I
> illustrate in my seminal ARXIV paper on Computationally Based Logics.

This must be some new meaning of the term "seminal" I have not heard
before. 

With respect,
Steven
[More with this subject...]
<Prev in Thread] Current Thread [Next in Thread>
Previous by Date:  Re: Why Has None of Computer Science been Formalized?, Steven Zenith
Next by Date:  Explicit choice functions on subsets of R, Peter Webb
Previous by Thread:  Re: Program Synthesis and formallization?, Mitch
Next by Thread:  Re: Program Synthesis and formallization?, Alan Smaill
Indexes:  [Date] [Thread] [Top] [All Lists]
Privacy Policy