[..] sci.logic

Oldest | Popular


Wanted: "Introduction to Metamathematics" (1 reply, 04/07/88)

British Association of Logicians (0 replies, 04/18/88)

Quantum computers outperform Turing machines (0 replies, 04/22/88)

Fermats Last Theorem (0 replies, 05/04/88)

Free Will, Quantum computers, determinism, randomness, modelling (1 reply, 05/24/88)

Philosophy & Computers Conference (0 replies, 06/21/88)

Turing's World vs. the ATMS (0 replies, 07/01/88)

Logic courseware for the Mac (0 replies, 08/10/88)

SUNY Buffalo Logic Colloquium: Goedel (0 replies, 09/21/88)

SUNY Buffalo Logic Colloquium: Goodman/Math of Nature (0 replies, 09/29/88)

SUNY Buffalo Philosophy Colloquium (0 replies, 10/18/88)

SUNY Buffalo Logic Colloquium: Nelson (0 replies, 10/20/88)

Letter to Gorbachev (0 replies, 12/01/88)

Help support our scientific colleagues in the Soviet Union (1 reply, 12/05/88)

Symposium on Chaos Theory and Computer Design (0 replies, 12/16/88)

Second call for votes on sci.edu newsgroup (0 replies, 03/25/89)

Parallel Simulated Annealing / References and Are You Doing It? (0 replies, 04/14/89)

Montague's papers (1 reply, 04/19/89)

Buffalo Cog Sci / Nicholas Asher (0 replies, 04/25/89)

abduction vs. induction (5 replies, 05/24/89)

Conference on Predication (0 replies, 06/09/89)

Theorem Provers for Temporal Logic (1 reply, 07/10/89)

Formal Semantics (0 replies, 08/11/89)

Associative/Content Addressable memories & processors (0 replies, 10/12/89)

call for discussion: comp.lang.specification (0 replies, 10/21/89)

SUNY Buffalo Logic Colloquium (1 reply, 11/03/89)

call for papers (0 replies, 11/08/89)

What is a Symbol System? (0 replies, 11/20/89)

prolog and Predicate logic (0 replies, 12/04/89)

Smullyan Logic Fellowship at IU (0 replies, 12/07/89)

comp.specification - second call for votes (0 replies, 12/12/89)

SUNY Buffalo Logic Collquium (0 replies, 12/12/89)

general PROLOG questions (3 replies, 12/13/89)

Logic Based Intuition (1 reply, 12/21/89)

Reasons why you don't prove your programs are correct (0 replies, 01/11/90)

Turing 1990 Colloquium, 3-6 April 1990, Sussex University (0 replies, 02/05/90)

50,000 digits of "e" (0 replies, 02/08/90)

Gudeman's major (0 replies, 02/12/90)

Reflections on 50,000 digits of "e" (1 reply, 02/13/90)

Strict deterministic propositional dynamic logic (0 replies, 02/20/90)

Documentation (0 replies, 02/21/90)

Call for papers: Computational Learning Theory (0 replies, 02/26/90)

wanted: consistency checking program (0 replies, 05/26/90)

PD FOPC Theorem Prover with equality (0 replies, 05/31/90)

Second Order Presburger (0 replies, 06/04/90)

1990 Conference on Personal Constructivist Psychology (0 replies, 06/05/90)

Conference Announcement (0 replies, 06/09/90)

Automated higher order logic (3 replies, 06/13/90)

Interested in Constructivism (0 replies, 06/17/90)

Interested in Hermeneutics? (0 replies, 06/18/90)

fuzzy logic - sources, information, ideas (0 replies, 07/06/90)

Re^2: Question About the Four Color Proof (1 reply, 07/10/90)

Question About the Four Color Proof (4 replies, 07/13/90)

Re^6: Question About the Four Color Proof (2 replies, 07/14/90)

Re^4: Question About the Four Color Proof (7 replies, 07/15/90)

Request for references on pattern matching (0 replies, 07/17/90)

Petri nets as a CCC (0 replies, 07/27/90)

Conditional equational reasoning - reference (0 replies, 08/01/90)

RA wanted in temporal logic at Newcastle (0 replies, 08/04/90)

Logic/Computability texts for CS types? (0 replies, 08/06/90)

I need info about Linpack (0 replies, 08/07/90)

Logic/Computability texts for CS types - SUMMARY (0 replies, 08/09/90)

game theoretic semantics, dialogic logic & dialogue games (2 replies, 09/07/90)

Program: Workshop on Logic Prog. & Non-Monotonic Reasoning (0 replies, 10/03/90)

Call for Papers PLILP 91 (0 replies, 10/17/90)

Information about new book on knowledge representation (0 replies, 10/31/90)

A request for temporal logic tools (0 replies, 11/22/90)

1st Order Temporal Logic (1 reply, 12/14/90)

Results of a temporal logic tools query (0 replies, 12/18/90)

FGCS '92 --- Call for Papers (0 replies, 01/10/91)

bounded temporal logic (0 replies, 01/18/91)

Call for Workshop Proposals for 1991 ILPS (0 replies, 01/20/91)

What were real machines which helped Turing? (2 replies, 01/24/91)

Theory of Computation (0 replies, 01/31/91)

LP and NMR workshop (0 replies, 02/05/91)

Scholarships, Fellowships, and Awards for Students (0 replies, 02/13/91)

"Last and Final Call for Papers in ILPS91" (0 replies, 02/25/91)

Literatures on Temporal Logic (0 replies, 02/25/91)

How does math get done, anyway. (0 replies, 03/05/91)

Looking for papers by Mike Kieffer of SUNY (0 replies, 03/07/91)

quotient machines (5 replies, 03/08/91)

Univ, of Texas (0 replies, 03/09/91)

Summerschool on Lambda Calculus, July 1991 (0 replies, 03/19/91)

ALPUK'91 Logic Programming Conference (0 replies, 03/21/91)

CFP: APPLIED INTELLIGENCE (0 replies, 03/27/91)

Update: Free Cray Time for SISAL Users (0 replies, 03/29/91)

Your last chance ... (0 replies, 04/02/91)

I'm seeking part time job (0 replies, 04/04/91)

LP&NMR Workshop -- Schedule and Registration (1 reply, 04/04/91)

Free Cray Time (0 replies, 04/10/91)

Graduate program with Assistantship info needed (0 replies, 04/11/91)

Book News; Towards a Theory of Cognition and Computing (0 replies, 04/18/91)

CFP: Int'l Conference on Fifth Generation Compute (0 replies, 04/18/91)

A result of Gandy and Kreisel: Reference sought (0 replies, 04/27/91)

Philosophy & Computing CFP (0 replies, 04/30/91)

Need to locate Thomas Schwentick (0 replies, 05/02/91)

some references to linear logic (0 replies, 05/17/91)

email-address of W. GASARCH, J.KADIN, and M. KRENTEL (0 replies, 05/20/91)

Workshop on Deductive Databases (0 replies, 05/24/91)

Narrowing systems (2 replies, 05/29/91)

Converting FSM's to RM's (0 replies, 05/31/91)

Linear Logic (8 replies, 06/06/91)

Looking for PX (0 replies, 06/07/91)

Final Algebra Semantics of Specifications (0 replies, 06/09/91)

FSM's to RM's (2 replies, 06/12/91)

Axiomatic derivations of Chomsky hierarchy (0 replies, 06/12/91)

info on category theory and type theory (1 reply, 06/14/91)

Wanted Addresses (0 replies, 06/21/91)

3-state algebra (0 replies, 06/22/91)