/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / logic / thread

< prev

MacOS 8.1

Win98

DOS

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 00 00 04 ce 00 00 04 e0 | 00 00 02 43 00 00 02 73 |........|...C...s|
|00000010| 00 0a 00 12 00 0a 00 10 | 00 11 00 00 00 01 00 01 |........|........|
|00000020| 00 01 00 01 00 01 00 01 | 00 01 00 01 00 01 00 01 |........|........|
|00000030| 00 01 00 02 00 01 00 01 | 00 01 00 01 73 63 68 77 |........|....schw|
|00000040| 65 69 7a 65 72 00 54 6f | 6e 79 20 44 61 6c 65 00 |eizer.To|ny Dale.|
|00000050| 4a 65 61 6e 2d 4d 61 72 | 63 20 41 6c 6c 69 6f 74 |Jean-Mar|c Alliot|
|00000060| 00 46 61 62 69 6f 20 43 | 61 73 61 62 6c 61 6e 63 |.Fabio C|asablanc|
|00000070| 61 00 41 6e 74 6f 6e 69 | 20 44 69 6c 6c 65 72 00 |a.Antoni| Diller.|
|00000080| 4d 61 68 61 64 65 76 61 | 6e 20 53 75 62 72 61 6d |Mahadeva|n Subram|
|00000090| 00 4d 65 68 6d 65 74 20 | 4f 72 67 75 6e 00 41 6c |.Mehmet |Orgun.Al|
|000000a0| 76 61 72 6f 20 4d 6f 6e | 67 65 00 48 2e 20 45 6e |varo Mon|ge.H. En|
|000000b0| 64 65 72 74 6f 6e 00 47 | 61 76 61 6e 20 54 72 65 |derton.G|avan Tre|
|000000c0| 64 6f 75 78 00 41 6c 61 | 6e 20 50 20 42 61 72 72 |doux.Ala|n P Barr|
|000000d0| 65 74 74 00 57 69 6c 6c | 69 61 6d 20 42 6f 73 68 |ett.Will|iam Bosh|
|000000e0| 75 63 6b 00 47 72 65 67 | 20 52 65 73 74 61 6c 6c |uck.Greg| Restall|
|000000f0| 00 44 61 6e 69 65 6c 20 | 4d 61 68 6c 65 72 00 54 |.Daniel |Mahler.T|
|00000100| 68 6f 6d 61 73 20 46 6f | 72 73 74 65 72 00 44 61 |homas Fo|rster.Da|
|00000110| 77 6e 20 56 61 6e 63 65 | 00 4b 6c 65 65 6e 65 20 |wn Vance|.Kleene |
|00000120| 33 2d 76 61 6c 75 65 64 | 20 6c 6f 67 69 63 00 4d |3-valued| logic.M|
|00000130| 69 6e 69 6d 69 73 61 74 | 69 6f 6e 20 6f 66 20 62 |inimisat|ion of b|
|00000140| 6f 6f 6c 65 61 6e 20 66 | 75 6e 63 74 69 6f 6e 73 |oolean f|unctions|
|00000150| 00 69 6e 63 6f 6e 73 69 | 73 74 65 6e 74 20 70 72 |.inconsi|stent pr|
|00000160| 6f 6f 66 73 00 45 71 75 | 69 76 61 6c 65 6e 63 65 |oofs.Equ|ivalence|
|00000170| 20 6f 66 20 53 74 72 6f | 6e 67 20 63 6f 6d 70 6c | of Stro|ng compl|
|00000180| 65 74 65 6e 65 73 73 20 | 61 6e 64 20 63 61 74 65 |eteness |and cate|
|00000190| 67 6f 72 69 63 69 74 79 | 00 71 75 61 6e 74 69 66 |goricity|.quantif|
|000001a0| 69 65 72 20 65 6c 69 6d | 69 6e 61 74 69 6f 6e 00 |ier elim|ination.|
|000001b0| 4d 61 6e 69 70 75 6c 61 | 74 69 6e 67 20 6c 6f 67 |Manipula|ting log|
|000001c0| 69 63 61 6c 20 65 78 70 | 72 65 73 73 69 6f 6e 73 |ical exp|ressions|
|000001d0| 2e 2e 2e 00 4c 6f 67 69 | 63 20 61 6e 64 20 74 68 |....Logi|c and th|
|000001e0| 65 20 53 6f 75 74 68 20 | 41 66 72 69 63 61 6e 20 |e South |African |
|000001f0| 44 65 66 65 6e 63 65 20 | 41 63 74 00 57 61 6e 74 |Defence |Act.Want|
|00000200| 65 64 20 4b 6e 75 74 68 | 2d 42 65 6e 64 69 78 20 |ed Knuth|-Bendix |
|00000210| 61 6c 67 6f 72 69 74 68 | 6d 20 61 6e 64 2f 6f 72 |algorith|m and/or|
|00000220| 20 6f 74 68 65 72 20 70 | 72 6f 67 72 61 6d 73 20 | other p|rograms |
|00000230| 66 6f 72 20 77 6f 72 64 | 20 70 72 6f 62 6c 65 6d |for word| problem|
|00000240| 73 00 75 6e 65 78 70 65 | 63 74 65 64 20 65 78 61 |s.unexpe|cted exa|
|00000250| 6d 69 6e 61 74 69 6f 6e | 00 4a 49 43 53 4c 50 20 |mination|.JICSLP |
|00000260| 27 39 32 20 2d 20 57 6f | 72 6b 73 68 6f 70 20 43 |'92 - Wo|rkshop C|
|00000270| 61 6c 6c 20 66 6f 72 20 | 50 61 70 65 72 73 00 00 |all for |Papers..|
|00000280| 03 00 01 00 01 00 04 00 | 02 00 01 00 02 00 01 00 |........|........|
|00000290| 01 00 01 00 00 04 d1 00 | 00 00 01 00 01 00 00 00 |........|........|
|000002a0| 00 04 ce 00 03 00 01 00 | 01 00 00 00 00 04 cf 00 |........|........|
|000002b0| 04 00 01 00 01 00 00 00 | 00 04 d0 00 05 00 01 00 |........|........|
|000002c0| 01 00 00 00 00 04 d3 00 | 09 00 01 00 01 00 00 00 |........|........|
|000002d0| 00 04 d5 00 0b 00 01 00 | 01 00 00 00 00 04 d7 00 |........|........|
|000002e0| 0c 00 01 00 01 00 00 00 | 00 04 de 00 0f 00 01 00 |........|........|
|000002f0| 01 00 00 00 00 04 df 00 | 10 00 01 00 01 00 00 00 |........|........|
|00000300| 00 04 e0 00 11 00 01 00 | 01 00 00 00 00 04 d1 2a |........|.......*|
|00000310| 67 b0 b3 00 00 00 03 00 | 01 00 01 00 00 00 00 00 |g.......|........|
|00000320| 00 00 00 00 00 04 d2 2a | 70 0d a3 00 00 00 04 00 |.......*|p.......|
|00000330| 00 00 01 ff ff 00 00 00 | 00 00 00 00 00 04 d4 2a |........|.......*|
|00000340| 70 32 04 00 00 00 06 00 | 00 00 00 ff ff 00 00 00 |p2......|........|
|00000350| 00 00 00 00 00 04 ce 2a | 6c 20 b1 00 01 00 00 00 |.......*|l ......|
|00000360| 01 00 00 00 00 00 00 00 | 00 00 01 00 00 04 cf 2a |........|.......*|
|00000370| 6c 49 4b 00 02 00 01 00 | 01 00 00 00 00 00 00 00 |lIK.....|........|
|00000380| 00 00 02 00 00 04 d0 2a | 6d cb f3 00 03 00 02 00 |.......*|m.......|
|00000390| 01 00 02 00 00 00 00 00 | 00 00 03 00 00 04 db 2a |........|.......*|
|000003a0| 74 b6 08 00 03 00 0b 00 | 00 00 01 ff ff 00 00 00 |t.......|........|
|000003b0| 02 00 03 00 00 04 dd 2a | 74 e4 9c 00 03 00 0c 00 |.......*|t.......|
|000003c0| 00 00 00 ff ff 00 00 00 | 00 00 03 00 00 04 dc 2a |........|.......*|
|000003d0| 74 b6 5b 00 03 00 0b 00 | 00 00 00 ff fd 00 00 00 |t.[.....|........|
|000003e0| 00 00 03 00 00 04 d3 2a | 70 1d 5e 00 04 00 05 00 |.......*|p.^.....|
|000003f0| 01 00 01 00 00 00 00 00 | 00 00 04 00 00 04 d6 2a |........|.......*|
|00000400| 70 80 a5 00 04 00 08 00 | 00 00 00 ff ff 00 00 00 |p.......|........|
|00000410| 00 00 04 00 00 04 d5 2a | 70 99 f5 00 05 00 07 00 |.......*|p.......|
|00000420| 05 00 00 00 00 00 00 00 | 00 00 05 00 00 00 00 2a |........|.......*|
|00000430| 72 d5 28 ff ff ff ff 00 | 00 00 01 00 00 00 00 00 |r.(.....|........|
|00000440| 00 00 06 00 00 04 d7 2a | 72 d5 28 00 06 00 09 00 |.......*|r.(.....|
|00000450| 04 00 01 ff ff 00 00 00 | 00 00 06 00 00 04 d8 2a |........|.......*|
|00000460| 73 09 5b 00 06 00 0a 00 | 04 00 00 ff ff 00 00 00 |s.[.....|........|
|00000470| 00 00 06 00 00 04 de 2a | 75 0f 4e 00 07 00 0d 00 |.......*|u.N.....|
|00000480| 05 00 00 00 00 00 00 00 | 00 00 07 00 00 04 df 2a |........|.......*|
|00000490| 75 52 e0 00 08 00 0e 00 | 01 00 00 00 00 00 00 00 |uR......|........|
|000004a0| 00 00 08 00 00 04 e0 2a | 78 26 06 00 09 00 0f 00 |.......*|x&......|
|000004b0| 05 00 00 00 00 00 00 00 | 00 00 09 68 75 62 63 61 |........|...hubca|
|000004c0| 70 2e 63 6c 65 6d 73 6f | 6e 2e 65 64 75 00 31 39 |p.clemso|n.edu.19|
|000004d0| 39 32 4a 75 6c 33 30 2e | 32 30 30 38 34 32 2e 31 |92Jul30.|200842.1|
|000004e0| 36 31 30 33 00 63 6c 2e | 63 61 6d 2e 61 63 2e 75 |6103.cl.|cam.ac.u|
|000004f0| 6b 00 31 39 39 32 4a 75 | 6c 32 38 2e 31 34 30 30 |k.1992Ju|l28.1400|
|00000500| 30 30 2e 32 32 34 30 31 | 00 6c 61 74 63 73 31 2e |00.22401|.latcs1.|
|00000510| 6c 61 74 2e 6f 7a 2e 61 | 75 00 31 39 39 32 4a 75 |lat.oz.a|u.1992Ju|
|00000520| 6c 32 38 2e 30 39 31 31 | 34 32 2e 37 34 39 35 00 |l28.0911|42.7495.|
|00000530| 63 6c 74 72 2e 75 71 2e | 6f 7a 2e 61 75 00 31 39 |cltr.uq.|oz.au.19|
|00000540| 39 32 4a 75 6c 32 38 2e | 30 36 30 39 33 32 2e 32 |92Jul28.|060932.2|
|00000550| 39 34 31 32 00 74 68 75 | 6e 64 65 72 2e 6d 63 72 |9412.thu|nder.mcr|
|00000560| 63 69 6d 2e 6d 63 67 69 | 6c 6c 2e 65 64 75 00 31 |cim.mcgi|ll.edu.1|
|00000570| 39 39 32 4a 75 6c 32 38 | 2e 30 32 35 32 31 31 2e |992Jul28|.025211.|
|00000580| 36 36 32 35 00 31 39 39 | 32 4a 75 6c 32 38 2e 30 |6625.199|2Jul28.0|
|00000590| 32 35 30 34 38 2e 36 35 | 30 33 00 65 65 2e 75 6e |25048.65|03.ee.un|
|000005a0| 64 2e 61 63 2e 7a 61 00 | 31 39 39 32 4a 75 6c 32 |d.ac.za.|1992Jul2|
|000005b0| 36 2e 32 30 32 31 34 37 | 2e 31 36 31 39 31 00 63 |6.202147|.16191.c|
|000005c0| 6f 6e 63 61 76 65 00 73 | 63 6f 74 74 2e 37 31 32 |oncave.s|cott.712|
|000005d0| 31 34 33 37 31 33 00 75 | 63 74 68 70 78 2e 75 63 |143713.u|cthpx.uc|
|000005e0| 74 2e 61 63 2e 7a 61 00 | 31 39 39 32 4a 75 6c 32 |t.ac.za.|1992Jul2|
|000005f0| 36 2e 31 36 33 39 30 34 | 2e 32 30 33 33 36 00 6d |6.163904|.20336.m|
|00000600| 61 74 68 2e 75 63 6c 61 | 2e 65 64 75 00 31 39 39 |ath.ucla|.edu.199|
|00000610| 32 4a 75 6c 32 34 2e 32 | 32 31 33 35 37 2e 32 33 |2Jul24.2|21357.23|
|00000620| 34 33 30 00 73 64 63 63 | 31 32 2e 75 63 73 64 2e |430.sdcc|12.ucsd.|
|00000630| 65 64 75 00 33 36 31 30 | 35 00 63 73 72 00 6d 6f |edu.3610|5.csr.mo|
|00000640| 72 67 75 6e 2e 37 31 31 | 39 39 35 39 30 38 00 63 |rgun.711|995908.c|
|00000650| 73 2e 61 6c 62 61 6e 79 | 2e 65 64 75 00 31 39 39 |s.albany|.edu.199|
|00000660| 32 4a 75 6c 32 34 2e 31 | 35 31 30 32 32 2e 37 33 |2Jul24.1|51022.73|
|00000670| 36 30 00 63 73 2e 62 68 | 61 6d 2e 61 63 2e 75 6b |60.cs.bh|am.ac.uk|
|00000680| 00 42 72 77 43 44 47 2e | 42 43 00 6d 61 72 73 2e |.BrwCDG.|BC.mars.|
|00000690| 69 6e 61 67 61 6b 69 2e | 6e 75 69 65 2e 6e 61 67 |inagaki.|nuie.nag|
|000006a0| 6f 79 61 2d 75 2e 61 63 | 2e 6a 70 00 46 41 42 49 |oya-u.ac|.jp.FABI|
|000006b0| 4f 2e 39 32 4a 75 6c 31 | 38 31 34 34 38 33 35 00 |O.92Jul1|8144835.|
|000006c0| 63 65 6e 61 74 6c 73 2e | 63 65 6e 61 2e 64 67 61 |cenatls.|cena.dga|
|000006d0| 63 2e 66 72 00 31 39 39 | 32 4a 75 6c 32 32 2e 32 |c.fr.199|2Jul22.2|
|000006e0| 30 35 38 32 37 2e 31 36 | 36 35 31 00 6e 65 77 63 |05827.16|651.newc|
|000006f0| 61 73 74 6c 65 2e 61 63 | 2e 75 6b 00 42 72 72 31 |astle.ac|.uk.Brr1|
|00000700| 76 76 2e 41 36 77 00 62 | 65 72 6e 69 6e 61 2e 65 |vv.A6w.b|ernina.e|
|00000710| 74 68 7a 2e 63 68 00 31 | 39 39 32 4a 75 6c 32 31 |thz.ch.1|992Jul21|
|00000720| 2e 31 34 33 35 32 39 2e | 31 32 35 33 32 00 ff ff |.143529.|12532...|
|00000730| 00 11 ff ff 00 10 ff ff | 00 0f ff ff 00 07 ff ff |........|........|
|00000740| 00 08 00 06 ff ff 00 0e | ff ff 00 0c ff ff 00 0d |........|........|
|00000750| ff ff 00 0a ff ff 00 0b | ff ff 00 02 ff ff 00 09 |........|........|
|00000760| ff ff 00 01 ff ff 00 00 | ff ff 00 05 ff ff 00 04 |........|........|
|00000770| ff ff 00 03 ff ff       |                         |......  |        |
+--------+-------------------------+-------------------------+--------+--------+