516 reputation
419
bio website
location
age
visits member for 3 years, 11 months
seen 19 hours ago

Dear All,

If you want raw timely information about what is cooking in our lab you can follow the following Google+ and Twitter streams:

Google+ Jekejeke Prolog
Twitter Jekejeke Prolog

We have discontinued our Facebook, Linkedin and XING accounts and are now exclusively posting on Google+ and Twitter.

Have Fun


Aug
9
revised The “disjunction” of two theories
deleted 97 characters in body
Dec
30
revised Skolemization of a Formula
edited body
Dec
29
revised Skolemization of a Formula
deleted 5 characters in body
Dec
29
revised Skolemization of a Formula
edited tags
Dec
29
revised Skolemization of a Formula
deleted 99 characters in body
Dec
29
revised Skolemization of a Formula
added 98 characters in body
Dec
29
revised Is the validity of the Skolemization of a sentence A infers the validity of A?
edited body
Sep
23
revised Induction, how often?
added 43 characters in body
Sep
23
revised Induction, how often?
deleted 1 characters in body
Sep
21
revised What are the historical roots of cryptarithmetic?
added 58 characters in body
Aug
25
revised What kind of logics satisfy the coincidence lemma?
added 286 characters in body; edited title
Aug
22
revised What kind of logics satisfy the coincidence lemma?
edited body
Aug
15
revised Need an asymptotic function that's going to have a specific shape
added 123 characters in body
Aug
15
revised Need an asymptotic function that's going to have a specific shape
added 239 characters in body
Jun
17
revised How would Horn resolution work if we had shared variables?
deleted 7 characters in body
Jun
17
revised How would Horn resolution work if we had shared variables?
deleted 192 characters in body
Jun
17
revised How would Horn resolution work if we had shared variables?
added 193 characters in body
Jun
17
revised How would Horn resolution work if we had shared variables?
deleted 2 characters in body
Jun
11
revised Predicate equivalence from Horn clauses?
deleted 591 characters in body
Jun
11
revised Predicate equivalence from Horn clauses?
deleted 591 characters in body