Entry Gehrke:1995:PRA from lncs1995a.bib

Last update: Mon Mar 13 02:22:13 MDT 2017

Index sections

Top | Symbols | 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{Gehrke:1995:PRA,
  author =       "W. Gehrke",
  title =        "Problems in Rewriting Applied to Categorical Concepts
                 by the Example of a Computational Comonad",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "914",
  pages =        "210--??",
  year =         "1995",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat May 11 13:45:32 MDT 1996",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs1995a.bib",
  acknowledgement = ack-nhfb,
}

Related entries

applied, 905(0)439, 914(0)309, 919(0)287, 919(0)844, 934(0)276
categorical, 902(0)78, 902(0)381, 902(0)414, 914(0)225, 953(0)159, 953(0)182, 953(0)200, 953(0)240
computational, 894(0)286, 914(0)438, 917(0)182, 919(0)248, 919(0)413, 919(0)658, 920(0)80, 920(0)277, 921(0)194, 921(0)341, 930(0)90, 933(0)486
concepts, 919(0)407, 922(0)10, 934(0)67, 943(0)14
example, 894(0)404, 904(0)252, 909(0)16, 912(0)232, 918(0)31, 934(0)395
problem, 888(0)9, 888(0)137, 894(0)119, 894(0)444, 895(0)239, 897(0)144, 900(0)95, 900(0)107, 900(0)193, 900(0)349, 900(0)409, 903(0)93, 903(0)232, 903(0)319, 903(0)343, 903(0)371, 909(0)27, 909(0)39, 909(0)214, 911(0)112, 911(0)257, 911(0)300, 911(0)323, 911(0)386, 911(0)427, 911(0)461, 912(0)17, 912(0)323, 914(0)450, 914(0)457, 915(0)155, 917(0)224, 919(0)1, 919(0)300, 919(0)351, 919(0)392, 919(0)717, 919(0)729, 919(0)837, 920(0)29, 920(0)65, 920(0)80, 920(0)95, 920(0)110, 920(0)145, 920(0)157, 920(0)172, 920(0)292, 920(0)403, 921(0)319, 923(0)139, 923(0)205, 923(0)267, 926(0)148, 929(0)530, 929(0)824, 930(0)239, 930(0)315, 930(0)361, 930(0)584, 930(0)619, 930(0)845, 932(0)54, 933(0)190, 933(0)217, 934(0)407, 937(0)298, 937(0)340, 937(0)395, 939(0)353, 944(0)63, 944(0)464, 944(0)487, 945(0)348, 948(0)21, 948(0)456, 950(0)182, 950(0)428
rewriting, 893(0)238, 902(0)312, 903(0)164, 906(0)255, 909(0)27, 909(0)54, 909(0)74, 909(0)95, 909(0)114, 909(0)127, 909(0)154, 909(0)196, 914(0)1, 914(0)101, 914(0)132, 914(0)147, 914(0)225, 914(0)309, 914(0)450, 914(0)457, 915(0)379, 915(0)797, 922(0)10, 922(0)38, 922(0)125, 922(0)165, 933(0)264, 936(0)368