Oldest | Popular
Linear Logic (8 replies, 06/06/91)
Re^4: Question About the Four Color Proof (7 replies, 07/15/90)
quotient machines (5 replies, 03/08/91)
abduction vs. induction (5 replies, 05/24/89)
Question About the Four Color Proof (4 replies, 07/13/90)
Automated higher order logic (3 replies, 06/13/90)
general PROLOG questions (3 replies, 12/13/89)
FSM's to RM's (2 replies, 06/12/91)
Narrowing systems (2 replies, 05/29/91)
What were real machines which helped Turing? (2 replies, 01/24/91)
game theoretic semantics, dialogic logic & dialogue games (2 replies, 09/07/90)
Re^6: Question About the Four Color Proof (2 replies, 07/14/90)
info on category theory and type theory (1 reply, 06/14/91)
LP&NMR Workshop -- Schedule and Registration (1 reply, 04/04/91)
1st Order Temporal Logic (1 reply, 12/14/90)
Re^2: Question About the Four Color Proof (1 reply, 07/10/90)
Reflections on 50,000 digits of "e" (1 reply, 02/13/90)
Logic Based Intuition (1 reply, 12/21/89)
SUNY Buffalo Logic Colloquium (1 reply, 11/03/89)
Theorem Provers for Temporal Logic (1 reply, 07/10/89)
Montague's papers (1 reply, 04/19/89)
Help support our scientific colleagues in the Soviet Union (1 reply, 12/05/88)
Free Will, Quantum computers, determinism, randomness, modelling (1 reply, 05/24/88)
Wanted: "Introduction to Metamathematics" (1 reply, 04/07/88)
3-state algebra (0 replies, 06/22/91)
Wanted Addresses (0 replies, 06/21/91)
Axiomatic derivations of Chomsky hierarchy (0 replies, 06/12/91)
Final Algebra Semantics of Specifications (0 replies, 06/09/91)
Looking for PX (0 replies, 06/07/91)
Converting FSM's to RM's (0 replies, 05/31/91)
Workshop on Deductive Databases (0 replies, 05/24/91)
email-address of W. GASARCH, J.KADIN, and M. KRENTEL (0 replies, 05/20/91)
some references to linear logic (0 replies, 05/17/91)
Need to locate Thomas Schwentick (0 replies, 05/02/91)
Philosophy & Computing CFP (0 replies, 04/30/91)
A result of Gandy and Kreisel: Reference sought (0 replies, 04/27/91)
CFP: Int'l Conference on Fifth Generation Compute (0 replies, 04/18/91)
Book News; Towards a Theory of Cognition and Computing (0 replies, 04/18/91)
Graduate program with Assistantship info needed (0 replies, 04/11/91)
Free Cray Time (0 replies, 04/10/91)
I'm seeking part time job (0 replies, 04/04/91)
Your last chance ... (0 replies, 04/02/91)
Update: Free Cray Time for SISAL Users (0 replies, 03/29/91)
CFP: APPLIED INTELLIGENCE (0 replies, 03/27/91)
ALPUK'91 Logic Programming Conference (0 replies, 03/21/91)
Summerschool on Lambda Calculus, July 1991 (0 replies, 03/19/91)
Univ, of Texas (0 replies, 03/09/91)
Looking for papers by Mike Kieffer of SUNY (0 replies, 03/07/91)
How does math get done, anyway. (0 replies, 03/05/91)
Literatures on Temporal Logic (0 replies, 02/25/91)
"Last and Final Call for Papers in ILPS91" (0 replies, 02/25/91)
Scholarships, Fellowships, and Awards for Students (0 replies, 02/13/91)
LP and NMR workshop (0 replies, 02/05/91)
Theory of Computation (0 replies, 01/31/91)
Call for Workshop Proposals for 1991 ILPS (0 replies, 01/20/91)
bounded temporal logic (0 replies, 01/18/91)
FGCS '92 --- Call for Papers (0 replies, 01/10/91)
Results of a temporal logic tools query (0 replies, 12/18/90)
A request for temporal logic tools (0 replies, 11/22/90)
Information about new book on knowledge representation (0 replies, 10/31/90)
Call for Papers PLILP 91 (0 replies, 10/17/90)
Program: Workshop on Logic Prog. & Non-Monotonic Reasoning (0 replies, 10/03/90)
Logic/Computability texts for CS types - SUMMARY (0 replies, 08/09/90)
I need info about Linpack (0 replies, 08/07/90)
Logic/Computability texts for CS types? (0 replies, 08/06/90)
RA wanted in temporal logic at Newcastle (0 replies, 08/04/90)
Conditional equational reasoning - reference (0 replies, 08/01/90)
Petri nets as a CCC (0 replies, 07/27/90)
Request for references on pattern matching (0 replies, 07/17/90)
fuzzy logic - sources, information, ideas (0 replies, 07/06/90)
Interested in Hermeneutics? (0 replies, 06/18/90)
Interested in Constructivism (0 replies, 06/17/90)
Conference Announcement (0 replies, 06/09/90)
1990 Conference on Personal Constructivist Psychology (0 replies, 06/05/90)
Second Order Presburger (0 replies, 06/04/90)
PD FOPC Theorem Prover with equality (0 replies, 05/31/90)
wanted: consistency checking program (0 replies, 05/26/90)
Call for papers: Computational Learning Theory (0 replies, 02/26/90)
Documentation (0 replies, 02/21/90)
Strict deterministic propositional dynamic logic (0 replies, 02/20/90)
Gudeman's major (0 replies, 02/12/90)
50,000 digits of "e" (0 replies, 02/08/90)
Turing 1990 Colloquium, 3-6 April 1990, Sussex University (0 replies, 02/05/90)
Reasons why you don't prove your programs are correct (0 replies, 01/11/90)
SUNY Buffalo Logic Collquium (0 replies, 12/12/89)
comp.specification - second call for votes (0 replies, 12/12/89)
Smullyan Logic Fellowship at IU (0 replies, 12/07/89)
prolog and Predicate logic (0 replies, 12/04/89)
What is a Symbol System? (0 replies, 11/20/89)
call for papers (0 replies, 11/08/89)
call for discussion: comp.lang.specification (0 replies, 10/21/89)
Associative/Content Addressable memories & processors (0 replies, 10/12/89)
Formal Semantics (0 replies, 08/11/89)
Conference on Predication (0 replies, 06/09/89)
Buffalo Cog Sci / Nicholas Asher (0 replies, 04/25/89)
Parallel Simulated Annealing / References and Are You Doing It? (0 replies, 04/14/89)
Second call for votes on sci.edu newsgroup (0 replies, 03/25/89)
Symposium on Chaos Theory and Computer Design (0 replies, 12/16/88)
Letter to Gorbachev (0 replies, 12/01/88)
SUNY Buffalo Logic Colloquium: Nelson (0 replies, 10/20/88)
SUNY Buffalo Philosophy Colloquium (0 replies, 10/18/88)
SUNY Buffalo Logic Colloquium: Goodman/Math of Nature (0 replies, 09/29/88)
SUNY Buffalo Logic Colloquium: Goedel (0 replies, 09/21/88)
Logic courseware for the Mac (0 replies, 08/10/88)
Turing's World vs. the ATMS (0 replies, 07/01/88)
Philosophy & Computers Conference (0 replies, 06/21/88)
Fermats Last Theorem (0 replies, 05/04/88)
Quantum computers outperform Turing machines (0 replies, 04/22/88)
British Association of Logicians (0 replies, 04/18/88)