%PDF-1.7
%
1 0 obj
<<
/Metadata 2 0 R
/Names 3 0 R
/OpenAction 4 0 R
/Outlines 5 0 R
/PageLabels <<
/Nums [0 6 0 R]
>>
/PageLayout /SinglePage
/PageMode /UseThumbs
/Pages 7 0 R
/Type /Catalog
>>
endobj
8 0 obj
<<
/Author <53696D6F6E6520416E6472E920646120436F737461>
/AuthoritativeDomain#5B1#5D (elsevier.com)
/AuthoritativeDomain#5B2#5D (sciencedirect.com)
/CreationDate (D:20120209101927+05'30')
/Creator (Elsevier)
/ElsevierWebPDFSpecifications (6.1)
/ModDate (D:20120209101943+05'30')
/PTEX.Fullbanner (This is pdfTeX, Version 3.1415926-1.40.10-2.2 \(TeX Live 2009/Debian\) kpathsea version 5.0.0)
/Producer (pdfTeX-1.40.3)
/Subject (Science of Computer Programming, 77 \(2012\) 480-504. doi:10.1016/j.scico.2010.02.006)
/Title (Verification of graph grammars using a logical approach)
/Trapped /False
/robots (noindex)
>>
endobj
2 0 obj
<<
/Length 6249
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
doi:10.1016/j.scico.2010.02.006
Verification of graph grammars using a logical approach
Simone André da Costa
Leila Ribeiro
(Attributed) graph grammars
Relational structures
Theorem proving
Science of Computer Programming, 77 (2012) 480-504. doi:10.1016/j.scico.2010.02.006
Elsevier B.V.
journal
Science of Computer Programming
Copyright © 2010 Elsevier B.V. All rights reserved.
0167-6423
77
4
1 April 2012
2012-04-01
Science of Computer Programming
480-504
480
504
10.1016/j.scico.2010.02.006
http://dx.doi.org/10.1016/j.scico.2010.02.006
noindex
6.1
This is pdfTeX, Version 3.1415926-1.40.10-2.2 (TeX Live 2009/Debian) kpathsea version 5.0.0
elsevier.com
sciencedirect.com
Elsevier
2012-02-09T10:19:27+05:30
2012-02-09T10:19:43+05:30
2012-02-09T10:19:43+05:30
True
pdfTeX-1.40.3
False
uuid:c1311122-fa8b-8a4c-8114-bbd1b621ad4f
uuid:424b8930-5dfb-e54e-8bab-45f33bbe6dcd
endstream
endobj
3 0 obj
<<
/Dests 9 0 R
>>
endobj
4 0 obj
<<
/D [10 0 R /FitH 897]
/S /GoTo
>>
endobj
5 0 obj
<<
/Count 14
/First 11 0 R
/Last 11 0 R
/Type /Outlines
>>
endobj
6 0 obj
<<
/S /D
/St 480
>>
endobj
7 0 obj
<<
/Count 25
/Kids [12 0 R 13 0 R 14 0 R 15 0 R 16 0 R]
/Type /Pages
>>
endobj
9 0 obj
<<
/Kids [17 0 R 18 0 R 19 0 R 20 0 R 21 0 R 22 0 R]
/Limits [(Doc-Start) (title.0)]
>>
endobj
10 0 obj
<<
/Annots [23 0 R 24 0 R 25 0 R 26 0 R 27 0 R 28 0 R 29 0 R 30 0 R 31 0 R 32 0 R
33 0 R]
/Contents [34 0 R 35 0 R 36 0 R 37 0 R 38 0 R 39 0 R 40 0 R 41 0 R 42 0 R 43 0 R]
/CropBox [0 0 544.252 742.677]
/MediaBox [0 0 544.252 742.677]
/Parent 12 0 R
/Resources 44 0 R
/Rotate 0
/Type /Page
>>
endobj
11 0 obj
<<
/A 45 0 R
/Count 13
/First 46 0 R
/Last 47 0 R
/Parent 5 0 R
/Title
>>
endobj
12 0 obj
<<
/Count 6
/Kids [10 0 R 48 0 R 49 0 R 50 0 R 51 0 R 52 0 R]
/Parent 7 0 R
/Type /Pages
>>
endobj
13 0 obj
<<
/Count 6
/Kids [53 0 R 54 0 R 55 0 R 56 0 R 57 0 R 58 0 R]
/Parent 7 0 R
/Type /Pages
>>
endobj
14 0 obj
<<
/Count 6
/Kids [59 0 R 60 0 R 61 0 R 62 0 R 63 0 R 64 0 R]
/Parent 7 0 R
/Type /Pages
>>
endobj
15 0 obj
<<
/Count 6
/Kids [65 0 R 66 0 R 67 0 R 68 0 R 69 0 R 70 0 R]
/Parent 7 0 R
/Type /Pages
>>
endobj
16 0 obj
<<
/Count 1
/Kids [71 0 R]
/Parent 7 0 R
/Type /Pages
>>
endobj
17 0 obj
<<
/Kids [72 0 R 73 0 R 74 0 R 75 0 R 76 0 R 77 0 R]
/Limits [(Doc-Start) (cite.BCK08b)]
>>
endobj
18 0 obj
<<
/Kids [78 0 R 79 0 R 80 0 R 81 0 R 82 0 R 83 0 R]
/Limits [(cite.BK02) (definition.16)]
>>
endobj
19 0 obj
<<
/Kids [84 0 R 85 0 R 86 0 R 87 0 R 88 0 R 89 0 R]
/Limits [(definition.17) (equation.4c)]
>>
endobj
20 0 obj
<<
/Kids [90 0 R 91 0 R 92 0 R 93 0 R 94 0 R 95 0 R]
/Limits [(equation.4d) (page.495)]
>>
endobj
21 0 obj
<<
/Kids [96 0 R 97 0 R 98 0 R 99 0 R 100 0 R 101 0 R]
/Limits [(page.496) (proposition.12)]
>>
endobj
22 0 obj
<<
/Kids [102 0 R 103 0 R 104 0 R 105 0 R 106 0 R]
/Limits [(proposition.13) (title.0)]
>>
endobj
23 0 obj
<<
/Type /Annot
/Subtype /Link
/A 107 0 R
/Rect [0.0 714.49304 544.252 742.677]
/F 0
/C [0.718 0.329 0.0]
>>
endobj
24 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (http://dx.doi.org/10.1016/j.scico.2010.02.006)
>>
/Border [0 0 0]
/C [0 1 1]
/F 4
/H /I
/Rect [190.025 700.108 508.114 708.588]
/Subtype /Link
/Type /Annot
>>
endobj
25 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (http://www.elsevier.com/locate/scico)
>>
/Border [0 0 0]
/C [0 1 1]
/F 4
/H /I
/Rect [279.083 671.824 367.448 679.728]
/Subtype /Link
/Type /Annot
>>
endobj
26 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (http://www.elsevier.com/locate/scico)
>>
/Border [0 0 0]
/C [0 1 1]
/F 4
/H /I
/Rect [251.85 615.492 369.871 624.885]
/Subtype /Link
/Type /Annot
>>
endobj
27 0 obj
<<
/A <<
/D (aff1a)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/F 4
/H /I
/Rect [157.979 543.6 163.997 550.937]
/Subtype /Link
/Type /Annot
>>
endobj
28 0 obj
<<
/A <<
/D (cor*)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/F 4
/H /I
/Rect [163.823 543.6 170.487 550.937]
/Subtype /Link
/Type /Annot
>>
endobj
29 0 obj
<<
/A <<
/D (aff1b)
/S /GoTo
>>
/Border [0 0 0]
/C [1 0 0]
/F 4
/H /I
/Rect [238.316 544.602 244.808 552.628]
/Subtype /Link
/Type /Annot
>>
endobj
30 0 obj
<<
/A <<
/D (cite.hb2)
/S /GoTo
>>
/Border [0 0 0]
/C [0 1 0]
/F 4
/H /I
/Rect [478.372 171.319 485.164 179.672]
/Subtype /Link
/Type /Annot
>>
endobj
31 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (mailto:scosta@inf.ufrgs.br)
>>
/Border [0 0 0]
/C [0 1 1]
/F 4
/H /I
/Rect [104.625 73.98 163.93 85.168]
/Subtype /Link
/Type /Annot
>>
endobj
32 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (mailto:leila@inf.ufrgs.br)
>>
/Border [0 0 0]
/C [0 1 1]
/F 4
/H /I
/Rect [209.999 73.98 263.422 85.168]
/Subtype /Link
/Type /Annot
>>
endobj
33 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (http://dx.doi.org/10.1016/j.scico.2010.02.006)
>>
/Border [0 0 0]
/C [0 1 1]
/F 4
/H /I
/Rect [39.87 50.046 138.696 58.526]
/Subtype /Link
/Type /Annot
>>
endobj
34 0 obj
<<
/Length 580
/Filter /FlateDecode
>>
stream
HMo09&J$ڕM:`
;`Tv/{♼R(D@ݝυwoJ$2`V`(IHXzL2S&f