mbox by author

• Messages sorted by: [ date ][ thread ][ subject ]
• Other mail archives

Starting: Sat 15 Apr 1995 - 08:42:45 CST
Ending: Mon 25 Mar 1996 - 00:00:-54724 CST
Messages: 141

• (no name)
  • Paper on formalized mathematics available Wed, 28 Feb 1996 04:55:13 -0600
• Amokrane Saibi
  • Re: Mechanization of category theory Mon, 25 Mar 1996 10:47:28 +0100
• Amy Felty
  • CADE-13 Second Call for Papers (text & LaTeX) Wed, 13 Dec 95 09:10 EST
  • CADE-13 Call for Tutorials (text & LaTeX) Mon, 18 Sep 95 08:37 EDT
  • CADE-13 Call for Workshops (text & LaTeX) Sun, 17 Sep 95 22:01 EDT
• Andreas Wolf
  • REMINDER FINAL CFP FOR DISCO'96 Tue, 30 Jan 1996 11:59:34 +0100
• Andrzej Trybulec
  • Re: Inference rules in the Veda system Thu, 14 Mar 1996 13:42:13 +0100 (MET)
• Benjamin Price Shults
  • Re: Undefined terms Mon, 22 May 1995 16:32:16 -0500
  • Re: Undefined terms Mon, 22 May 1995 15:23:53 -0500
  • Re: Undefined terms Mon, 22 May 1995 15:32:07 -0500
• Bernd Ingo Dahn
  • Re: Mechanization of category theory Fri, 22 Mar 1996 09:06:37 +0100
  • Re: Toward a common syntax for writing proofs Mon, 18 Mar 1996 11:11:00 +0100
  • Furure developments Fri, 12 Jan 1996 10:49:38 +0100
  • QED Framework Wed, 23 Aug 95 09:05:57 +0200
  • Re: Hierarchy of theorem provers Tue, 15 Aug 95 09:21:14 +0200
  • Natural Language Output for Your Theorem Prover? Mon, 29 May 95 12:52:25 +0200
  • QED Workshop 2 - Cooperation of Automated and Interactive Theorem Provers Thu, 18 May 95 15:10:14 +0200
• bshults@fireant.ma.utexas.edu
  • Re: Toward a common syntax for writing proofs Mon, 18 Mar 96 13:01:13 CST
• Clemens Ballarin
  • Mechanization of category theory Thu, 21 Mar 1996 16:11:48 +0100
• Coq Team
  • Coq V5.10 Release Tue, 4 Jul 1995 15:32:53 +0200 (MET DST)
• D.W.Loveland
  • Call for written contributions Fri, 12 Jan 96 00:01:08 -0500
• David McAllester
  • Paper on reflection Wed, 3 May 95 17:05:43 EDT
  • Paper on reflection Sun, 30 Apr 95 14:44:08 EDT
  • Paper on reflection Thu, 27 Apr 95 10:20:23 EDT
• David Musser
  • Re: Toward a common syntax for writing proofs Mon, 18 Mar 96 10:43:25 EST
• David Plaisted
  • Call for Papers, RTA-96 Thu, 28 Sep 1995 14:48:16 -0400
• David Rydeheard
  • Re: Mechanization of category theory Fri, 22 Mar 96 13:52:38 GMT
• Deepak Kapur
  • Abstracts from J. of Automated Reasoning, Vol. 15, No. 2 Tue, 17 Oct 1995 13:26:08 -0400
  • abstracts from J. of Automated Reasoning, Vol. 15, No. 3 Tue, 17 Oct 1995 13:26:48 -0400
  • Abstracts from the latest issue of JAR Wed, 13 Sep 1995 10:14:22 -0400
• Dongming Wang
  • JAR special issue CFP: Computer Algebra & Automated Theorem Proving Fri, 24 Nov 1995 15:29:40 +0100
• Eric Inman
  • Probabilistic Proofs Wed, 3 May 95 06:10:39 -0500
• Florian Kammueller
  • Q: Systems for Algebraic/ Structural Reasoning Thu, 07 Mar 1996 19:30:32 +0000
• Frank Lesske
  • unsubscribe Thu, 1 Feb 96 10:38:57 MEZ
• Geoff Sutcliffe
  • CADE-14 Program Chair Tue, 14 Nov 1995 08:31:57 +1000 (+1000)
  • Re: about the proof of the CheckerBoard Problem (fwd) Fri, 11 Aug 1995 14:54:26 +1000 (+1000)
  • Re: about the proof of the CheckerBoard Problem Fri, 11 Aug 1995 14:33:23 +1000 (+1000)
• HAGIYA Masami
  • Re: Mechanization of category theory Fri, 22 Mar 1996 18:08:30 +0900
• Henrik Persson
  • PhD Scholarships at Chalmers, Gothenburg Fri, 26 Jan 1996 13:48:11 +0100 (MET)
• Ilya Beylin
  • Re: Toward a common syntax for writing proofs Mon, 18 Mar 1996 19:28:33 +0100 (MET)
• J Strother Moore
  • ACL2 Mon, 25 Sep 95 15:56:12 CDT
• Jan Friso Groote
  • Effective ? Fri, 28 Apr 1995 18:43:14 +0200 (MET DST)
  • QED Workshop. Thu, 27 Apr 1995 18:10:11 +0200 (MET DST)
• JanFriso.Groote@cwi.nl
  • Status of dimacs benchmarks Sat, 16 Mar 1996 13:26:18 +0100 (MET)
• Jim Grundy
  • 2nd CFP: TPHOLs96 - Theorem Proving in Higher Order Logics (LaTeX) Tue, 30 Jan 1996 17:12:52 +0200
  • 2nd CFP: TPHOLs96 - Theorem Proving in Higher Order Logics (ASCII) Tue, 30 Jan 1996 17:11:55 +0200
• Jockum von Wright IB
  • CfP (Theorem Proving in Higher Order Logics) - LaTeX version Tue, 2 Jan 1996 11:22:46 +0200
• Johann Schumann
  • CADE-13 Call for Papers Thu, 31 Aug 1995 11:32:59 +0200
  • Re: contact req. Sat, 6 May 1995 10:52:12 +0200
• John Harrison
  • Re: practical Proof Checking systems Mon, 18 Mar 1996 22:32:37 +0200
  • Paper on formalized mathematics available Thu, 22 Feb 1996 17:39:12 +0200
  • Web page for 1996 International Conference on Theorem Proving in Higher Order Logics Thu, 11 Jan 1996 17:18:40 +0200
  • Re: Undefined terms Tue, 13 Jun 1995 12:08:24 +0100
  • Re: Undefined terms Tue, 23 May 1995 12:24:16 +0100
  • Re: Undefined terms Mon, 22 May 1995 14:27:18 +0100
  • Re: Undefined terms Fri, 19 May 1995 10:54:02 +0100
  • Re: Paper on reflection Thu, 04 May 1995 12:22:18 +0100
  • Re: Paper on reflection Mon, 01 May 1995 10:48:18 +0100
  • Re: QED Workshop. Fri, 28 Apr 1995 12:04:03 +0100
  • Re: Paper on reflection Tue, 25 Apr 1995 20:13:54 +0100
  • Paper on reflection Mon, 24 Apr 1995 21:21:24 +0100
• John McCarthy
  • Re: practical Proof Checking systems Mon, 18 Mar 1996 14:26:14 -0800 (PST)
• Karsten Homann
  • REMINDER FINAL CFP FOR DISCO'96 Mon, 29 Jan 1996 17:28:51 +0100
• kerber@cs.uni-sb.de
  • QED-WS Integration of existing code Mon, 19 Jun 95 18:13:15 +0200
• Konrad Slind
  • Re: Paper on reflection Thu, 27 Apr 1995 21:54:41 +0200
• lamport@pa.dec.com
  • "Types are Not Harmless" Mon, 10 Jul 95 13:42:02 -0700
• Larry Wos
  • contact req. Wed, 3 May 1995 12:53:36 -0500
• Lawrence C Paulson
  • practical Proof Checking Tue, 19 Mar 1996 15:49:51 +0100
  • Re: Inference rules in the Veda system Thu, 14 Mar 1996 14:48:14 +0100
  • paper available Wed, 26 Jul 1995 17:07:12 +0100
  • Isabelle users workshop Mon, 01 May 1995 12:40:14 +0100
• Lyle Burkhead
  • unsubscribe Tue, 03 Oct 1995 01:11:12 -0400 (EDT)
  • unsubscribe Tue, 03 Oct 1995 01:11:12 -0400 (EDT)
• ma_friesel@ccmail.pnl.gov
  • Re[2]: QED Workshop. Tue, 02 May 1995 07:41 -0700 (PDT)
• ma_friesel@gate.pnl.gov
  • Re[2]: Paper on reflection Thu, 27 Apr 1995 20:49 -0700 (PDT)
  • Re: QED Workshop. Thu, 27 Apr 1995 12:52 -0700 (PDT)
• MAKV@delphi.com
  • Toward a common syntax for writing proofs Sat, 16 Mar 1996 23:44:58 -0500 (EST)
  • Inference rules in the Veda system Wed, 13 Mar 1996 22:14:14 -0500 (EST)
  • The Russel paradox and the VEDA system Sat, 09 Mar 1996 16:56:58 -0500 (EST)
  • Requirements for QEDL Sun, 03 Mar 1996 15:13:18 -0500 (EST)
  • practical Proof Checking systems Tue, 20 Feb 1996 20:45:23 -0500 (EST)
• Malcolm Newey
  • Re: Undefined terms Tue, 23 May 1995 21:59:00 +1000
• Manfred Kerber
  • Re: QED links to QED people Mon, 15 Jan 1996 17:05:04 +0000
• Matt Kaufmann
  • Re: Undefined terms Mon, 22 May 95 15:49:09 CDT
  • Re: Undefined terms Mon, 22 May 95 15:43:05 CDT
  • Re: Undefined terms Mon, 22 May 95 13:31:03 CDT
• Matthias Brucke
  • (no subject) Wed, 31 Jan 1996 11:56:51 GMT+1
  • (no subject) Wed, 31 Jan 1996 11:56:51 GMT+1
  • (no subject) Wed, 31 Jan 1996 11:56:51 GMT+1
• N.G. De Bruijn
  • Re: Q: Systems for Algebraic/ Structural Reasoning Mon, 11 Mar 1996 17:13:26 MET-2DST
  • Q:Systems for Algebraic/Structural Reasoning Mon, 11 Mar 1996 17:02:57 MET-2DST
• Paul E. Black
  • new software verification e-mail list Sun, 3 Mar 1996 22:21:57 -0700
• Paul Jackson
  • Re: Q: Systems for Algebraic/ Structural Reasoning Fri, 08 Mar 1996 13:00:19 +0000
• Piotr Rudnicki
  • To type or not to type Mon, 5 Jun 1995 12:18:37 -0600 (MDT)
• Raj Raina
  • DAC 1996 - Special Topics Session on Functional Design Verification Wed, 27 Sep 95 16:20:36 -0600
• Randall Holmes
  • PRA Thu, 2 Nov 1995 09:15:26 -0700
  • PRA implementation Wed, 1 Nov 1995 09:32:57 -0700
  • Meta-logic Thu, 17 Aug 1995 15:29:18 -0600
  • Re: Undefined terms Fri, 19 May 1995 10:20:03 -0600
  • Re: Undefined terms Fri, 19 May 1995 09:55:48 -0600
  • Undefined terms Thu, 18 May 1995 12:39:59 -0600
• Randy Pollack
  • Re: Paper on reflection Thu, 27 Apr 1995 20:22:37 +0200
• Richard Eaton
  • Nuprl release. Mon, 30 Oct 1995 12:27:02 -0500
• Robert S. Boyer
  • Announcing the Availability of More Nqthm-Checked Theorems Fri, 15 Sep 95 09:35:29 CDT
• Roberto Sebastiani
  • subscribe Mon, 30 Oct 1995 16:30:38 +0100 (MET)
• Roderick Moten
  • Re: QED Workshop II Thu, 27 Apr 1995 09:11:55 -0400
• Roger Bishop Jones
  • Re: Mechanization of category theory Fri, 22 Mar 1996 05:16:51 GMT
  • Formalised Mathematics Wed, 20 Mar 1996 20:00:33 GMT
  • QED and OpenMath Sun, 11 Feb 1996 07:39:51 GMT
  • HTML manifesto Fri, 12 Jan 1996 16:13:08 -0500
  • QED Archives on WWW? Wed, 20 Dec 1995 02:27:30 -0500
  • Re: Paper on reflection Thu, 27 Apr 1995 07:06:16 GMT
  • Re: Paper on reflection Tue, 25 Apr 1995 06:26:22 GMT
• Roman Matuszewski
  • QED II - final report - available Tue, 12 Dec 95 21:45:06 CET
  • QED Workshop II Fri, 28 Jul 95 18:36:28 CET
  • QED Workshop II Thu, 27 Apr 95 13:30:51 CET
  • QED Workshop II Sat, 15 Apr 95 15:41:28 CET
• romance@in.the.former.USSR.ua
  • letter from Olga! =) Thu, 20 Jul 1995 22:06:25 -0500
• Ruslan Shevchenko
  • Re: The Russel paradox and the VEDA system Mon, 11 Mar 1996 19:24:07 +0200 (EET)
  • Re: Q: Systems for Algebraic/ Structural Reasoning Fri, 8 Mar 1996 17:21:59 +0200 (EET)
• Rusty Lusk
  • QED Archives on WWW? Wed, 20 Dec 1995 11:13:14 -0600
  • QED Archives on WWW? Wed, 20 Dec 1995 11:12:04 -0600
  • [Richard Waldinger: Re: about the proof of the CheckerBoard Problem] Thu, 10 Aug 1995 14:01:15 -0500
  • about the proof of the CheckerBoard Problem Thu, 10 Aug 1995 13:06:28 -0500
  • URI Support Program Wed, 14 Jun 1995 09:32:10 -0500
• rv_harris@ccmail.pnl.gov
  • Re: Paper on reflection Mon, 01 May 1995 10:31 -0700 (PDT)
• shepherd_david/uk_bristo_br@brx001.inmos.co.uk
  • Re: QED Workshop. Fri, 28 Apr 95 13:01:54 +0100
• srivas
  • Formal Methods in Computer-Aided Design (FMCAD'96) Wed, 20 Dec 1995 10:11:20 -0800
  • Formal Methods in Computer-Aided Design (FMCAD'96) Wed, 20 Dec 1995 10:11:20 -0800
• trybulec@cksr.ac.bialystok.pl
  • Re: Undefined terms Mon, 22 May 95 13:41 MED
• Vaughan Pratt
  • Re: Mechanization of category theory Thu, 21 Mar 1996 09:53:06 -0800
  • Re: Inference rules in the Veda system Thu, 14 Mar 1996 12:19:22 -0800
  • Re: Q: Systems for Algebraic/ Structural Reasoning Thu, 07 Mar 1996 21:41:46 -0800
  • Re: Q: Systems for Algebraic/ Structural Reasoning Thu, 07 Mar 1996 21:03:18 -0800
• Victor Yodaiken
  • Re: PRA implementation Thu, 2 Nov 1995 21:59:45 -0700
• Warren A. Hunt Jr.
  • FM9001 Release Announcement Thu, 17 Aug 95 12:13:25 CDT
• William McCune
  • QED links to QED people Mon, 18 Dec 1995 11:45:20 -0600
  • proof double checking and verified compilers Tue, 12 Dec 1995 15:47:17 -0600
• Wolfgang Jaksch
  • URGENT: Workshop Proposal ECAI96 Tue, 24 Oct 1995 17:30:49 +0100
  • Workshop Tue, 24 Oct 1995 17:17:31 +0100
• Yozo Toda
  • Re: QED and OpenMath Sun, 11 Feb 1996 22:40:17 +0900

Last message date: Mon 25 Mar 1996 - 00:00:-54724 CST
Archived on: Tue Apr 02 1996 - 16:17:08 CST

• Messages sorted by: [ date ][ thread ][ subject ]
• Other mail archives