gmane.science.mathematics.frogs archive

379 archived articles, newest first (page 4 of 4). Latest articles →

Re: BV on display
Thu, 04 Aug 2005 00:20:23 +1000
Jon Cohen <[email protected]> • #308
BV on display
Wed, 03 Aug 2005 21:36:16 +1000
Jon Cohen <[email protected]> • #307
Re:Red and blue (again)
Fri, 29 Jul 2005 16:38:11 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #306
Re:Red and blue (again)
Fri, 29 Jul 2005 10:15:23 +1000
Rajeev.Gore-/[email protected] • #305
Re: Red and blue (again)
Thu, 28 Jul 2005 22:48:40 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #304
Re: Red and blue (again)
Thu, 28 Jul 2005 21:39:39 +0100
"David J. Pym" <[email protected]> • #303
Re: Red and blue (again)
Thu, 28 Jul 2005 22:35:01 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #302
Re: Red and blue (again)
Thu, 28 Jul 2005 21:27:45 +0100
"David J. Pym" <[email protected]> • #301
Re: Red and blue (again)
Thu, 28 Jul 2005 21:25:50 +0100
"David J. Pym" <[email protected]> • #300
Re: Red and blue (again)
Thu, 28 Jul 2005 22:23:34 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #299
Re: Red and blue (again)
Thu, 28 Jul 2005 22:14:56 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #298
Re: Red and blue (again)
Thu, 28 Jul 2005 21:06:03 +0100
"David J. Pym" <[email protected]> • #297
Re: Red and blue (again)
Thu, 28 Jul 2005 21:43:59 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #296
Re: Red and blue (again)
Thu, 28 Jul 2005 19:44:50 +0100 (BST)
Paul B Levy <[email protected]> • #295
Re: Red and blue (again)
Thu, 28 Jul 2005 19:28:25 +0100
"David J. Pym" <[email protected]> • #294
Re: Red and blue (again)
Thu, 28 Jul 2005 20:16:40 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #293
Re: Red and blue (again)
Thu, 28 Jul 2005 18:37:42 +0100
"David J. Pym" <[email protected]> • #292
Re: Red and blue (again)
Thu, 28 Jul 2005 18:20:32 +0100
"David J. Pym" <[email protected]> • #291
Re: Red and blue (again)
Thu, 28 Jul 2005 19:09:00 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #290
Re: Red and blue (again)
Thu, 28 Jul 2005 17:12:57 +0100
"David J. Pym" <[email protected]> • #289
Re: Red and blue (again)
Thu, 28 Jul 2005 15:54:20 +0100
"David J. Pym" <[email protected]> • #288
Re:Red and blue (again)
Thu, 28 Jul 2005 12:58:02 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #287
Re:Red and blue (again)
Thu, 28 Jul 2005 11:19:33 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #286
Re:Red and blue (again)
Thu, 28 Jul 2005 09:42:36 +1000
Rajeev.Gore-/[email protected] • #285
Re:Red and blue (again)
Wed, 27 Jul 2005 10:10:53 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #284
Re: Red and blue (again)
Wed, 27 Jul 2005 11:19:36 +1000
Jon Cohen <[email protected]> • #283
Re:Red and blue (again)
Wed, 27 Jul 2005 09:10:24 +1000
Rajeev.Gore-/[email protected] • #282
SD05: it's over!
Tue, 26 Jul 2005 15:08:22 +0200
Francois Lamarche <lamarche-/[email protected]> • #281
Red and blue (again)
Tue, 26 Jul 2005 14:34:43 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #280
Re: Back to computability logic
Sun, 24 Jul 2005 04:38:42 +0000 (UTC)
Giorgi Japaridze <[email protected]> • #279
New paper announcement
Fri, 22 Jul 2005 15:50:40 +0200 (Paris, Madrid)
Yves Guiraud <[email protected]> • #278
Re:Back to computability logic
Fri, 8 Jul 2005 20:40:10 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #277
Re:Back to computability logic
Fri, 8 Jul 2005 20:24:54 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #276
Back to computability logic
Tue, 28 Jun 2005 19:26:06 -0400
"Giorgi Japaridze" <[email protected]> • #275
Re: Pomset vs BV
Fri, 24 Jun 2005 11:20:18 +0200 (CEST)
Lutz Strassburger <lutz-F/[email protected]> • #274
Re: Pomset vs BV
Fri, 24 Jun 2005 09:40:13 +0200
Alwen Tiu <Alwen.Tiu-/[email protected]> • #273
Pomset vs BV
Fri, 24 Jun 2005 10:43:28 +1000
Jon Cohen <[email protected]> • #272
Re: A cut-free CoS system for S5
Mon, 20 Jun 2005 08:38:29 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #271
Re: A cut-free CoS system for S5
Thu, 16 Jun 2005 17:39:27 +0200
Phiniki Stouppa <[email protected]> • #270
Re: A cut-free CoS system for S5
Thu, 16 Jun 2005 15:09:58 +1000
Jon Cohen <[email protected]> • #269
Re: A cut-free CoS system for S5
Thu, 16 Jun 2005 11:21:41 +1000
Rajeev.Gore-/[email protected] • #268
Re: A cut-free CoS system for S5
Wed, 15 Jun 2005 17:01:06 +0200
Phiniki Stouppa <[email protected]> • #267
Re: A cut-free CoS system for S5
Wed, 15 Jun 2005 11:35:13 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #266
Re: A cut-free CoS system for S5
Wed, 15 Jun 2005 14:05:07 +1000
Jon Cohen <[email protected]> • #265
Re: A cut-free CoS system for S5
Tue, 14 Jun 2005 19:47:01 +0200
Phiniki Stouppa <[email protected]> • #264
Re: A cut-free CoS system for S5
Tue, 14 Jun 2005 07:16:05 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #263
Re: A cut-free CoS system for S5
Tue, 14 Jun 2005 09:40:47 +1000
Rajeev.Gore-/[email protected] • #262
Re: A cut-free CoS system for S5
Mon, 13 Jun 2005 16:37:42 +0200
Charles A Stewart <Charles.Stewart-r/[email protected]> • #261
Re: A cut-free CoS system for S5
Mon, 13 Jun 2005 16:38:38 +1000
Greg Restall <[email protected]> • #260
Re:A cut-free CoS system for S5
Mon, 13 Jun 2005 16:56:04 +1000
Jon Cohen <[email protected]> • #259
Re:A cut-free CoS system for S5
Mon, 13 Jun 2005 06:36:58 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #258
Re:New bureacracy/coherence
Wed, 8 Jun 2005 11:46:49 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #257
Re: New bureacracy/coherence
Fri, 3 Jun 2005 18:00:15 +0200 (CEST)
Lutz Strassburger <lutz-F/[email protected]> • #256
New bureacracy/coherence
Fri, 03 Jun 2005 14:22:20 +0100
Richard McKinley <[email protected]> • #255
Paper announcement
Fri, 3 Jun 2005 10:27:38 +0200 (MEST)
Ozan Kahramanogullari <ozan-jNDFPZUTrfTw9Zu3TmXbXSJk02hg1TJes0AfqQuZ5sE@public.gmane.org> • #254
A cut-free CoS system for S5
Thu, 2 Jun 2005 21:42:34 +0200
Phiniki Stouppa <[email protected]> • #253
Accepted Papers - Structures and Deduction Workshop (ICALP'05 Satellite)
Tue, 24 May 2005 11:13:21 +0200
Paola Bruscoli <Paola.Bruscoli-r/[email protected]> • #252
ESSLLI 2006 - Call for Course and Workshop Proposals
Fri, 6 May 2005 15:18:48 +0200
Carlos Areces <Carlos.Areces-/[email protected]> • #251
literature online
Tue, 3 May 2005 11:16:57 +0200 (CEST)
Lutz Strassburger <lutz-F/[email protected]> • #250
Re:implementation of system BV
Wed, 27 Apr 2005 17:07:51 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #249
implementation of system BV
Wed, 27 Apr 2005 14:51:56 +0200 (MEST)
Ozan Kahramanogullari <ozan-jNDFPZUTrfTw9Zu3TmXbXSJk02hg1TJes0AfqQuZ5sE@public.gmane.org> • #248
News on subatomic logic
Wed, 27 Apr 2005 10:20:29 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #247
Re:Conferences in computer science
Mon, 18 Apr 2005 10:29:37 +1000
Rajeev.Gore-/[email protected] • #246
Re: Conferences in computer science
Sat, 16 Apr 2005 18:08:46 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #245
Re: Conferences in computer science
Sat, 16 Apr 2005 11:20:22 +0200
[email protected] • #244
Re:Conferences in computer science
Sat, 16 Apr 2005 10:18:53 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #243
SD05: Deadline extension
Sat, 16 Apr 2005 00:52:52 +0200
Paola Bruscoli <[email protected]> • #242
Conferences in computer science
Fri, 15 Apr 2005 16:39:11 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #241
SD05: Short Deadline extension
Fri, 15 Apr 2005 12:31:10 +0200
Francois Lamarche <Francois.Lamarche-/[email protected]> • #240
Re: Bureaucracy and identity
Wed, 13 Apr 2005 18:44:25 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #239
Re: Bureaucracy and identity
Wed, 13 Apr 2005 16:45:07 +0200 (CEST)
Lutz Strassburger <lutz-F/[email protected]> • #238
Re: Web site
Mon, 4 Apr 2005 03:37:17 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #237
Web site
Mon, 4 Apr 2005 02:07:19 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #236
Re: Bureaucracy and identity
Sun, 3 Apr 2005 23:03:24 +0200
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #235
Preprint announcement
Thu, 24 Mar 2005 10:47:42 +0100 (Paris, Madrid)
Yves Guiraud <[email protected]> • #234
Re: Bureaucracy and identity
Thu, 24 Mar 2005 00:03:40 +0100
Stéphane Lengrand <[email protected]> • #233
Re: Bureaucracy and identity
Wed, 23 Mar 2005 21:30:18 +0100
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #232
Re: Bureaucracy and identity
Wed, 23 Mar 2005 19:54:21 +0100
Stéphane Lengrand <[email protected]> • #231
Re: Bureaucracy and identity
Mon, 21 Mar 2005 15:47:40 +0100
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #230
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.