Fusing logic and control with local transformations: an example optimization

P. Johann, E. Visser

Research output: Book/Report › Report › Academic

Original language	Undefined/Unknown
Place of Publication	Utrecht, The Netherlands
Publisher	Utrecht University: Information and Computing Sciences
Volume	2001-30
Edition	UU-CS
ISBN (Print)	0924-3275
Publication status	Published - 2001

Keywords

@book{1a12c9dfd39d46a4bc7026a19ff7f636,

title = "Fusing logic and control with local transformations: an example optimization",

keywords = "Wiskunde en Informatica (WIIN)",

author = "P. Johann and E. Visser",

year = "2001",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "2001-30",

publisher = "Utrecht University: Information and Computing Sciences",

edition = "UU-CS",

}

TY - BOOK

T1 - Fusing logic and control with local transformations: an example optimization

AU - Johann, P.

AU - Visser, E.

PY - 2001

Y1 - 2001

KW - Wiskunde en Informatica (WIIN)

M3 - Report

SN - 0924-3275

VL - 2001-30

BT - Fusing logic and control with local transformations: an example optimization

PB - Utrecht University: Information and Computing Sciences

CY - Utrecht, The Netherlands

ER -