Call-by-value lambda-graph rewriting without rewriting

Research output: Chapter in Book/Report/Conference proceeding › Conference paper

16 Citations (Scopus)

Original language	English
Title of host publication	Graph Transformation, Lecture Notes in Computer Science
Publisher	Springer
Pages	75 - 89
Number of pages	15
ISBN (Print)	3-540-44310-X
Publication status	Published - 2002
Event	First International Conference, ICGT 2002 - Barcelona Duration: 7 Oct 2002 → 12 Oct 2002

Name	Lecture Notes in Computer Science

Conference	First International Conference, ICGT 2002
City	Barcelona
Period	7/10/2002 → 12/10/2002

Cite this

@inbook{d2eba6bd315c490a904122a6a5c87d0a,

title = "Call-by-value lambda-graph rewriting without rewriting",

author = "M Fernandez and I Mackie",

year = "2002",

language = "English",

isbn = "3-540-44310-X ",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "75 -- 89",

booktitle = "Graph Transformation, Lecture Notes in Computer Science",

note = "First International Conference, ICGT 2002 ; Conference date: 07-10-2002 Through 12-10-2002",

}

TY - CHAP

T1 - Call-by-value lambda-graph rewriting without rewriting

AU - Fernandez, M

AU - Mackie, I

PY - 2002

Y1 - 2002

M3 - Conference paper

SN - 3-540-44310-X

T3 - Lecture Notes in Computer Science

SP - 75

EP - 89

BT - Graph Transformation, Lecture Notes in Computer Science

PB - Springer

T2 - First International Conference, ICGT 2002

Y2 - 7 October 2002 through 12 October 2002

ER -