gmane.science.mathematics.frogs archive
378 archived articles, newest first (page 3 of 4). Latest articles →
Re: your gleefu
Wed, 20 Dec 2006 19:53:31 +0500Re: commiseratio = parleyvo
Tue, 19 Dec 2006 19:50:35 +0800Re: dermatolog
Thu, 14 Dec 2006 10:24:01 +0100Re: flannelett = iceber
Wed, 13 Dec 2006 20:27:30 +0100Re: refulgen heatcapacit
Fri, 1 Dec 2006 11:33:07 -0800KURT GÖDEL CENTENARY RESEARCH PRIZE FELLOWSHIP S
Thu, 30 Nov 2006 22:18:07 +0100 (CET)Re: new
Wed, 8 Nov 2006 18:29:30 -0800Your account access has been limited !
Wed, 1 Nov 2006 00:10:35 -0600Re: VlhAGRA
Wed, 25 Oct 2006 18:57:03 -0700Re: VlbAGRA
Mon, 23 Oct 2006 00:56:05 -0700Re: VluAGRA
Sat, 21 Oct 2006 13:42:01 -0700Re: VIgAGRA
Wed, 18 Oct 2006 16:47:39 -0700Re: VmlAGRA
Mon, 16 Oct 2006 13:30:30 -0700Re: VlkAGRA
Sat, 14 Oct 2006 10:41:27 -0700Re: VkAGRA
Sat, 14 Oct 2006 01:43:21 -0700Re: VbAGRA
Mon, 9 Oct 2006 08:07:15 -0700Re: VhAGRA
Sun, 8 Oct 2006 23:40:56 -0700Re: Hi
Tue, 3 Oct 2006 12:53:33 -0300my PHAdogRMA
Sat, 30 Sep 2006 14:25:28 +0200eBay Member
Sat, 30 Sep 2006 15:26:35 +0200 (CEST)MEgzaDS
Thu, 28 Sep 2006 06:43:03 +0700PHftxARMA
Mon, 25 Sep 2006 12:55:49 +0100no PHAukRMA
Mon, 18 Sep 2006 20:22:03 -0700PHbskARMA
Fri, 15 Sep 2006 06:01:54 -0700ge PHAhkRMA
Mon, 18 Sep 2006 21:52:26 +0200 (CEST)Re:Paper announcement: CMDL in CoS
Sat, 16 Sep 2006 14:04:52 +0100PHAacuRMA
Sun, 17 Sep 2006 16:06:39 -0700PHAxyfRMA
Sun, 17 Sep 2006 16:12:15 -0700PHAhlcRMA
Sun, 17 Sep 2006 16:01:35 -0700PHArczRMA
Sun, 17 Sep 2006 15:56:23 -0700PHAdidRMA
Sun, 17 Sep 2006 09:49:03 -0700PHAjdaRMA
Wed, 13 Sep 2006 07:23:07 -0700Paper announcement: CMDL in CoS
Tue, 12 Sep 2006 11:01:11 +1000Re: PHAthbRMACY
Mon, 11 Sep 2006 04:51:24 -0700Re: PHAsjRMACY
Wed, 6 Sep 2006 14:41:05 -0700Re: PHAuoRMACY
Mon, 4 Sep 2006 09:25:47 -0700Re: PHARvoMACY
Sun, 3 Sep 2006 17:10:21 -0700Re: buRXlu
Wed, 30 Aug 2006 14:04:34 -0700Re: meRXfe
Wed, 30 Aug 2006 03:26:36 -0700Re: RXruta
Mon, 28 Aug 2006 05:29:33 -0700Fw: Re: RXuudy
Sun, 27 Aug 2006 08:18:27 -0700 (PDT)Re: RXuudy
Sun, 27 Aug 2006 07:48:44 -0700Grants
Sat, 26 Aug 2006 18:14:32 +0100Re: new jy
Thu, 24 Aug 2006 16:16:31 -0700Re: new ba
Tue, 22 Aug 2006 23:06:50 -0700Re: bolydu test
Sat, 19 Aug 2006 10:09:24 -0700Re: ju test
Fri, 18 Aug 2006 22:38:18 -0700Re: lo
Wed, 16 Aug 2006 03:10:54 -0700Re: romuvVdAGRA
Mon, 7 Aug 2006 09:17:24 -0700Re: woiazVzlAGRA
Mon, 7 Aug 2006 02:20:00 -0700Re: bufeqVzlAGRA
Sun, 6 Aug 2006 17:16:24 -0700Re: keeuzVzlAGRA
Sun, 6 Aug 2006 02:39:43 -0700Re: deguxVzlAGRA
Sat, 5 Aug 2006 08:46:41 -0700Call for Papers
Tue, 1 Aug 2006 15:21:24 +0200 (CEST)RE:Update our records!!
Sun, 23 Jul 2006 18:07:30 -0600Notification of Security Measures
Fri, 14 Jul 2006 10:27:57 -0200ESSLLI'06 lecture notes
Tue, 4 Jul 2006 11:15:13 +0200 (CEST)Introducing the GraPE Graphical Proof Editor
Mon, 3 Jul 2006 22:43:25 +0200 (CEST)Meeting in Bath
Fri, 2 Jun 2006 12:14:48 +0100post-doc position
Thu, 25 May 2006 07:10:05 +0100Post-docs
Fri, 19 May 2006 10:11:44 +0100Intuitionistic and intermediate logics in CoS
Fri, 19 May 2006 10:03:43 +1000LSFA'06 - Brazilian Workshop on Logical and Semantic Frameworks, with Applications
Wed, 03 May 2006 21:05:26 +0200Lutz and Goedel
Wed, 29 Mar 2006 14:03:54 +0100PCC 06
Tue, 28 Mar 2006 18:59:52 +0100Baez
Mon, 27 Mar 2006 10:11:11 +0000Re:PhD thesis?
Tue, 21 Mar 2006 07:38:46 +0000PhD thesis?
Mon, 20 Mar 2006 06:45:08 -0800 (PST)Re: congratulations!
Sat, 18 Mar 2006 11:37:25 +0000congratulations!
Sat, 18 Mar 2006 10:05:07 +0000Re: Deduction modulo in CoS
Wed, 15 Mar 2006 16:45:47 +0100Re:Deduction modulo in CoS
Mon, 6 Mar 2006 14:32:44 +0000Re: Deduction modulo in CoS
Tue, 28 Feb 2006 22:50:55 +0100Deduction modulo in CoS
Tue, 28 Feb 2006 15:44:06 +0100Fundamenta Informaticae: special issue on the Logic for Pragmatics
Mon, 27 Feb 2006 10:00:28 +0000arrow in front of the down rules
Thu, 16 Feb 2006 11:30:47 +0100 (MET)Deductive nets
Thu, 12 Jan 2006 14:30:01 +0000Re:Proof Nets, Boolean Categories, and Medial
Thu, 22 Dec 2005 21:26:48 +0000Proof Nets, Boolean Categories, and Medial
Thu, 22 Dec 2005 15:52:41 +0100 (CET)Proof Nets, Boolean Categories, and Medial
Thu, 22 Dec 2005 14:57:26 +0100 (CET)jumbo connectives - comments please!
Sun, 18 Dec 2005 17:20:57 +0000 (GMT)An International Symposium Celebrating the 100th Birthday of Kurt Gödel
Tue, 13 Dec 2005 16:13:05 +0100 (CET)ESSLLI 2006
Wed, 7 Dec 2005 21:14:39 +0000Papers
Mon, 5 Dec 2005 13:37:14 +0000ICCL Autumn Workshop - Deep Inference and Proof Theory
Mon, 21 Nov 2005 19:06:04 +0100 (MET)Conference announcements
Thu, 20 Oct 2005 12:08:25 +0100CfP: AiML 2006
Thu, 20 Oct 2005 10:42:48 +0100Workshop on Logic programming and concurrency
Tue, 11 Oct 2005 16:11:13 +0200 (CEST)Re: Red and blue (again)
Thu, 6 Oct 2005 11:32:23 +0100Re:[PT] CSL'06 workshops and Ackermann Award
Tue, 4 Oct 2005 11:35:47 +0100SD06 in Wien?
Tue, 4 Oct 2005 11:24:25 +0100Re:[PT] CSL'06 workshops and Ackermann Award
Tue, 4 Oct 2005 09:36:23 +1000[PT] CSL'06 workshops and Ackermann Award
Mon, 3 Oct 2005 21:46:29 +0100Re: Red and blue (again)
Thu, 29 Sep 2005 17:31:47 +0200Re: BV on display
Thu, 04 Aug 2005 15:38:46 +0200Re: BV on display
Fri, 05 Aug 2005 14:00:38 +1000Re: BV on display
Fri, 5 Aug 2005 09:13:21 +1000Re: BV on display
Thu, 4 Aug 2005 18:45:20 +0200Re: BV on display
Thu, 04 Aug 2005 16:19:17 +1000Re: BV on display
Wed, 03 Aug 2005 15:31:48 +0200
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.