Last update: Sun Oct 15 02:56:11 MDT 2017
@Article{Banach:1995:LCD,
author = "R. Banach",
title = "Locating the contractum in the double pushout
approach",
journal = j-THEOR-COMP-SCI,
volume = "152",
number = "2",
pages = "305--320",
day = "25",
month = dec,
year = "1995",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Mon Jul 19 22:19:35 MDT 1999",
bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_free/browse/browse.cgi?year=1995&volume=152&issue=2;
http://www.math.utah.edu/pub/tex/bib/tcs1995.bib",
URL = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_sub/browse/browse.cgi?year=1995&volume=152&issue=2&aid=1935",
acknowledgement = ack-nhfb,
classification = "B0250 (Combinatorial mathematics); C1160
(Combinatorial mathematics); C4210L (Formal languages
and computational linguistics)",
corpsource = "Dept. of Comput. Sci., Manchester Univ., UK",
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
keywords = "algebraic framework; algebraic graph rewriting;
contractum location; double pushout approach; garbage;
graph theory; pushout cube; rewriting systems",
pubcountry = "Netherlands",
treatment = "P Practical; T Theoretical or Mathematical",
xxauthor = "P. Banach",
}