Re: decidable fragments of first order logic?



On Nov 24, 7:23 pm, Marshall <marshall.spi...@xxxxxxxxx> wrote:

Answers, discussion, and/or pointers to further reading welcome.

Yowser! Lots of stuff to chase down and read. Thanks everyone.


Marshall

.



Relevant Pages

  • Owner of files and folders
    ... JdeBP> I suggest reading the Microsoft TechNet and Microsoft ... CD> Your links only refer to documentation which, of course, ... Pointers to documentation are perfectly valid replies, ...
    (microsoft.public.windows.file_system)
  • Re: array
    ... > It is an array of one TRGBQUAD. ... > (pointers to) variable size arrays. ... reading another post you've referenced similarly, on this same thread, I am ... Anyway back to this dynamic element of these two types of "hacks" ...
    (borland.public.delphi.language.objectpascal)
  • 9.1 Cups dies with error
    ... I've been reading all the FAQ's I can find and I'm stuck with this one, ... anyone any clues or pointers? ...
    (alt.os.linux.suse)
  • Re: Parsing dirty/corrupt data. Advice wanted
    ... > In one file I found what appears to be a login session complete with ... > Any help, pointers, reading suggestions??? ...
    (comp.lang.perl.misc)
  • Re: lambda closure question
    ... I replied a few minutes ago thanking everyone for their pointers. ... interesting reading. ... hypothetical programmer trying to puzzle out what my code does), ...
    (comp.lang.python)