Re: TPHOLs'96- Theorem Proving in Higher Order Logics

Article View: alt.uu.math.misc

Article #117

#117

From: Anne Dicky
Date: Thu, 01 Feb 1996 00:00

3 lines
1359 bytes

Further information about the conference can be found at
the conference web site:
		http://www.abo.fi/~jharriso/TPHOLs96.html

Technical Details

Message-ID: <4eql3j$9f0@news.u-bordeaux.fr>

Path: arc1-ca.pugleaf.net!unknown!not-for-mail

References: <4enhaa$mgp@josie.abo.fi>

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 106582,b819e443ba7bc3b3
X-Google-Attributes: gid106582,public
X-Google-Thread: 1077c2,b819e443ba7bc3b3
X-Google-Attributes: gid1077c2,public
X-Google-Thread: 10a0b6,b819e443ba7bc3b3
X-Google-Attributes: gid10a0b6,public
X-Google-Thread: 101ec5,b819e443ba7bc3b3
X-Google-Attributes: gid101ec5,public
X-Google-Thread: f8362,b819e443ba7bc3b3
X-Google-Attributes: gidf8362,public
X-Google-Thread: f7888,b819e443ba7bc3b3
X-Google-Attributes: gidf7888,public
X-Google-Thread: 10b276,b819e443ba7bc3b3
X-Google-Attributes: gid10b276,public
X-Google-Thread: 10c88d,b819e443ba7bc3b3
X-Google-Attributes: gid10c88d,public
From: dicky@labri.u-bordeaux.fr (Anne Dicky)
Subject: Re: TPHOLs'96- Theorem Proving in Higher Order Logics
Date: 1996/02/01
Message-ID: <4eql3j$9f0@news.u-bordeaux.fr>
X-Deja-AN: 138294977
distribution: world
references: <4enhaa$mgp@josie.abo.fi>
organization: Laboratoire Bordelais de Recherche en Informatique
newsgroups: alt.uu.math.misc,comp.object.logic,comp.specification.larch,comp.specification.misc,comp.specification.z,comp.theory,fj.comp.theory,nordunet.sci.math,nordunet.sci.math.euro,sci.logic,sci.math,sci.math.symbolic

Reply to Parent Message