July 2007 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Sun Jul 1 09:43:43 CDT 2007
Ending: Mon Jul 30 12:19:44 CDT 2007
Messages: 57

• [CL] 24707 as publicly available standard   Harry Delugach
• [CL] 24707 as publicly available standard   Pat Hayes
• [CL] 24707 as publicly available standard   Elisa F. Kendall
• [CL] 24707 as publicly available standard   Ed Barkmeyer
• [CL] 24707 as publicly available standard   Pat Hayes
• [CL] 24707 as publicly available standard   John F. Sowa
• [CL] : toss out the guarded quantifier syntax from CLIF ?   Pat Hayes
• [CL] : toss out the guarded quantifier syntax from CLIF ?   Randall R Schulz
• [CL] CFP: ACM Web Information and Data Management workshop   Enrico Franconi
• [CL] CommentedSentence UML Composition Association Backward   Randall R Schulz
• [CL] European Master in Computational Logic - openings and scholarships for Europeans   Enrico Franconi
• [CL] Formula Roles   Randall R Schulz
• [CL] Formula Roles   Pat Hayes
• [CL] Formula Roles   Randall R Schulz
• [CL] Formula Roles   Pat Hayes
• [CL] Generalizations in Fig. 6‹Abstract synt ax of an atom; Fig. 7‹Abstract syntax of a term an d term sequence   Pat Hayes
• [CL] Generalizations in Fig. 6‹Abstract synt ax of an atom; Fig. 7‹Abstract syntax of a term an d term sequence   Randall R Schulz
• [CL] Generalizations in Fig. 6‹Abstract synt ax of an atom; Fig. 7‹Abstract syntax of a term an d term sequence   Randall R Schulz
• [CL] Generalizations in Fig. 6ãAbstract synt ax of an atom; Fig. 7ãAbstract syntax of a term an d term sequence   Pat Hayes
• [CL] Generalizations in Fig. 6—Abstract syntax of an atom; Fig. 7—Abstract syntax of a term and term sequence   Randall R Schulz
• [CL] Generalizations in Fig. 6—Abstract syntax of an atom; Fig. 7—Abstract syntax of a term and term sequence   John F. Sowa
• [CL] Guarded Quantified Sentences   Randall R Schulz
• [CL] Guards and "all the names which occur free in B"   Randall R Schulz
• [CL] Guards and "all the names which occur free in B"   Randall R Schulz
• [CL] Guards and "all the names which occur free in B"   Pat Hayes
• [CL] Guards and "all the names which occur free in B"   Randall R Schulz
• [CL] Guards and "all the names which occur free in B"   Randall R Schulz
• [CL] Interpreted Names in Role-Set Atoms   Randall R Schulz
• [CL] Interpreted Names in Role-Set Atoms   Pat Hayes
• [CL] Interpreted Names in Role-Set Atoms   Randall R Schulz
• [CL] Interpreted Names in Role-Set Atoms   Pat Hayes
• [CL] Modules in CL and in CLIF   Randall R Schulz
• [CL] Modules in CL and in CLIF   Pat Hayes
• [CL] Modules in CL and in CLIF   Randall R Schulz
• [CL] Modules in CL and in CLIF   John F. Sowa
• [CL] My CL wishlist   Rich Morin
• [CL] Numerals and Quoted Strings in Module Exclusion List   Randall R Schulz
• [CL] Numerals and Quoted Strings in Module Exclusion List   Pat Hayes
• [CL] One More Time: Rewriting Guarded Quantified Sentences   Randall R Schulz
• [CL] Question about vote   John F. Sowa
• [CL] Round Tripping CL Content   Randall R Schulz
• [CL] Round Tripping CL Content   Pat Hayes
• [CL] Round Tripping CL Content   Randall R Schulz
• [CL] Round Tripping CL Content   Pat Hayes
• [CL] Sorts in CL   Randall R Schulz
• [CL] Sorts in CL   Pat Hayes
• [CL] Sorts in CL   Pat Hayes
• [CL] Sorts in CL   John F. Sowa
• [CL] Sorts in CL   Randall R Schulz
• [CL] Sorts in CL   John F. Sowa
• [CL] Sorts in CL   Pat Hayes
• [CL] Unreferenced Nonterminal in CLIF BNF   Pat Hayes
• [CL] Unreferenced Nonterminal in CLIF BNF   Randall R Schulz
• [CL] Unreferenced Nonterminal in CLIF BNF   Pat Hayes
• [CL] What's In A Comment?   Randall R Schulz
• [CL] What's In A Comment?   Randall R Schulz
• [CL] Wording Quibble: "Retraction of I From N [I<N]"   Randall R Schulz

Last message date: Mon Jul 30 12:19:44 CDT 2007
Archived on: Mon Jul 30 12:35:22 CDT 2007

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...