Entry Nielson:1998:FLC from lncs1998a.bib

Last update: Fri Mar 23 02:19:19 MDT 2018

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Nielson:1998:FLC,
  author =       "H. R. Nielson and F. Nielson",
  title =        "Flow logics for constraint based analysis",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "1383",
  pages =        "109--??",
  year =         "1998",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Oct 10 14:40:24 MDT 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs1998a.bib",
  acknowledgement = ack-nhfb,
}

Related entries

analysis, 1357(0)270, 1361(0)159, 1362(0)110, 1362(0)110-1, 1362(0)159, 1362(0)217, 1363(0)195, 1364(0)255, 1365(0)313, 1366(0)79, 1366(0)94, 1366(0)163, 1366(0)246, 1366(0)423, 1369(0)413, 1371(0)123, 1371(0)273, 1373(0)1, 1375(0)240, 1376(0)333, 1378(0)48, 1380(0)1, 1381(0)27, 1381(0)75, 1382(0)239, 1382(0)255, 1383(0)1, 1383(0)80, 1383(0)95, 1383(0)306, 1384(0)201, 1384(0)281, 1384(0)358, 1386(0)96, 1388(0)19, 1388(0)61, 1388(0)73, 1388(0)742, 1388(0)756, 1388(0)1015, 1388(0)1025, 1389(0)243, 1389(0)257, 1389(0)347, 1392(0)193, 1394(0)36, 1394(0)96, 1394(0)378, 1396(0)256, 1401(0)747, 1401(0)887, 1403(0)422, 1407(0)202, 1407(0)305, 1407(0)305-1, 1407(0)354, 1408(0)20, 1411(0)238, 1411(0)238-1, 1413(0)219, 1413(0)305, 1415(0)112, 1415(0)321, 1415(0)347, 1418(0)60, 1420(0)26, 1420(0)246, 1420(0)326, 1421(0)3, 1421(0)254, 1423(0)77, 1423(0)412, 1424(0)75, 1424(0)123, 1424(0)316, 1424(0)330, 1424(0)330-1, 1424(0)444, 1424(0)444-1, 1424(0)585, 1427(0)71, 1427(0)268, 1427(0)305, 1429(0)140, 1429(0)214, 1432(0)246, 1434(0)88, 1434(0)205, 1439(0)13, 1442(0)1, 1442(0)52, 1442(0)118, 1444(0)15, 1445(0)601
based, 1357(0)34, 1357(0)303, 1357(0)464, 1357(0)515, 1359(0)168, 1359(0)188, 1361(0)37, 1362(0)88, 1362(0)232, 1363(0)157, 1363(0)315, 1364(0)49, 1365(0)31, 1366(0)246, 1368(0)108, 1368(0)293, 1368(0)364, 1371(0)81, 1371(0)245, 1371(0)259, 1371(0)297, 1372(0)93, 1375(0)157, 1378(0)110, 1378(0)172, 1378(0)273, 1381(0)1, 1384(0)36, 1386(0)126, 1387(0)27, 1388(0)195, 1388(0)510, 1388(0)1015, 1389(0)21, 1389(0)91, 1394(0)110, 1394(0)283, 1394(0)360, 1394(0)414, 1395(0)168, 1395(0)420, 1395(0)467, 1396(0)313, 1396(0)321, 1401(0)315, 1401(0)526, 1402(0)166, 1403(0)221, 1403(0)294, 1403(0)294-1, 1403(0)334, 1406(0)544, 1406(0)797, 1406(0)843, 1406(0)861, 1407(0)499, 1407(0)514, 1407(0)531, 1407(0)548, 1411(0)176, 1414(0)18, 1414(0)129, 1415(0)190, 1415(0)357, 1415(0)696, 1416(0)173, 1416(0)192, 1416(0)353, 1416(0)375, 1416(0)479, 1416(0)547, 1416(0)638, 1416(0)727, 1416(0)755, 1420(0)286, 1420(0)306, 1423(0)252, 1423(0)252-1, 1424(0)416, 1424(0)475, 1424(0)529, 1425(0)190, 1425(0)326, 1427(0)244, 1429(0)197, 1430(0)3, 1430(0)43, 1431(0)217, 1431(0)234, 1434(0)49, 1438(0)9, 1438(0)9-1, 1438(0)36, 1438(0)68, 1438(0)135, 1441(0)79, 1447(0)85, 1448(0)1
constraint, 1358(0)1, 1358(0)209, 1359(0)1, 1359(0)133, 1359(0)148, 1366(0)419, 1369(0)38, 1375(0)93, 1379(0)196, 1379(0)211, 1381(0)1, 1381(0)90, 1386(0)80, 1389(0)80, 1393(0)83, 1397(0)217, 1401(0)411, 1401(0)784, 1404(0)19, 1405(0)119, 1405(0)181, 1407(0)185, 1408(0)187, 1412(0)37, 1412(0)423, 1414(0)406, 1415(0)448, 1418(0)220, 1418(0)334, 1421(0)119, 1421(0)175, 1421(0)175-1, 1425(0)425, 1427(0)477, 1430(0)425, 1443(0)176, 1443(0)455, 1443(0)616, 1444(0)89, 1444(0)111, 1444(0)193, 1446(0)116, 1449(0)15, 1450(0)446, 1450(0)446-1, 1450(0)589
flow, 1366(0)235, 1366(0)246, 1373(0)587, 1383(0)95, 1401(0)23, 1401(0)96, 1401(0)173, 1401(0)556, 1401(0)893, 1407(0)69, 1407(0)271, 1407(0)288, 1407(0)354, 1407(0)563, 1412(0)310, 1412(0)325, 1412(0)338, 1417(0)189, 1422(0)254, 1422(0)254-1, 1432(0)1, 1450(0)220
logic, 1357(0)295, 1359(0)1, 1359(0)148, 1359(0)267, 1361(0)159, 1364(0)49, 1369(0)281, 1373(0)61, 1373(0)444, 1373(0)477, 1376(0)62, 1379(0)196, 1381(0)42, 1381(0)170, 1381(0)170-1, 1384(0)52, 1384(0)184, 1385(0)158, 1386(0)143, 1393(0)273, 1394(0)414, 1397(0)25, 1397(0)35, 1397(0)40, 1397(0)44, 1397(0)108, 1397(0)124, 1397(0)156, 1397(0)156-1, 1397(0)202, 1397(0)292, 1398(0)238, 1399(0)281, 1401(0)294, 1408(0)187, 1414(0)78, 1414(0)129, 1414(0)203, 1414(0)406, 1414(0)424, 1414(0)461, 1415(0)134, 1416(0)619, 1420(0)365, 1421(0)1, 1421(0)129, 1424(0)432, 1424(0)z-12, 1427(0)219, 1439(0)127, 1441(0)31, 1441(0)60, 1441(0)79, 1443(0)1, 1446(0)1, 1446(0)53, 1446(0)155, 1446(0)271, 1450(0)129, 1450(0)203, 1450(0)220, 1450(0)229, 1450(0)751