| Record ID | marc_loc_2016/BooksAll.2016.part19.utf8:131565752:1280 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part19.utf8:131565752:1280?format=raw |
LEADER: 01280cam a2200325 a 4500
001 89102072
003 DLC
005 20130501085343.0
008 890110s1988 cau b 000 0 eng d
010 $a 89102072
035 $a(OCoLC)19273342
040 $aMMeT$cDLC$dDLC
042 $alccopycat
050 00 $aMLCM 91/10693 (Q)
100 2 $aKleine Büning, H.$q(Hans)
245 10 $aProjections of vector addition system reachability sets are semilinear /$cby H.K. Büning, T. Lettmann, and E.W. Mayr.
260 $aStanford, Calif. :$bDept. of Computer Science, Stanford University,$c[1988]
300 $a8 p. ;$c28 cm.
490 1 $aReport / Department of Computer Science, Stanford University ;$vno. STAN-CS-88-1199
500 $aCover title.
500 $a"March 1988."
500 $a"This work was supported in part by a grant from AT&T, ONR contract N00014-85-C-0731, and NSF grant DCR-8351757"--Added t.p.
504 $aBibliography: p. 8.
650 0 $aPetri nets.
650 0 $aSet theory.
650 0 $aLogic, Symbolic and mathematical.
700 1 $aLettmann, T.$q(Theodor)
700 1 $aMayr, Ernst.
710 2 $aStanford University.$bComputer Science Department.
830 0 $aReport (Stanford University. Computer Science Department) ;$vno. STAN-CS-88-1199.