The Power of Linear Functions

Sandra Alves; Maria Isabel Fernandez; Mario Florido; Ian Mackie

The Power of Linear Functions

Sandra Alves, Maria Isabel Fernandez, Mario Florido, Ian Mackie

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

15 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 15th EACSL Annual Conference on Computer Science Logic, Lecture Notes in Computer Science
Publisher	Springer
Pages	119 - 134
Number of pages	16
Volume	4207 LNCS
Publication status	Published - 2006
Event	Computer Science Logic - Szeged, Hungary Duration: 25 Sept 2006 → 29 Sept 2006

Publication series

Name	EACSL Annual Conference on Computer Science Logic

Conference

Conference	Computer Science Logic
Country/Territory	Hungary
City	Szeged
Period	25/09/2006 → 29/09/2006

Cite this

@inbook{c4e9d68ac9164b0e874700aa9ca957ff,

title = "The Power of Linear Functions",

author = "Sandra Alves and Fernandez, {Maria Isabel} and Mario Florido and Ian Mackie",

year = "2006",

language = "English",

volume = "4207 LNCS",

series = "EACSL Annual Conference on Computer Science Logic",

publisher = "Springer",

pages = "119 -- 134",

booktitle = "Proceedings of the 15th EACSL Annual Conference on Computer Science Logic, Lecture Notes in Computer Science",

note = "Computer Science Logic ; Conference date: 25-09-2006 Through 29-09-2006",

}

The Power of Linear Functions. / Alves, Sandra; Fernandez, Maria Isabel; Florido, Mario et al.
Proceedings of the 15th EACSL Annual Conference on Computer Science Logic, Lecture Notes in Computer Science. Vol. 4207 LNCS Springer, 2006. p. 119 - 134 (EACSL Annual Conference on Computer Science Logic).

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

TY - CHAP

T1 - The Power of Linear Functions

AU - Alves, Sandra

AU - Fernandez, Maria Isabel

AU - Florido, Mario

AU - Mackie, Ian

PY - 2006

Y1 - 2006

UR - http://www.scopus.com/inward/record.url?scp=33750294691&partnerID=8YFLogxK

M3 - Conference paper

VL - 4207 LNCS

T3 - EACSL Annual Conference on Computer Science Logic

SP - 119

EP - 134

BT - Proceedings of the 15th EACSL Annual Conference on Computer Science Logic, Lecture Notes in Computer Science

PB - Springer

T2 - Computer Science Logic

Y2 - 25 September 2006 through 29 September 2006

ER -

The Power of Linear Functions

Publication series

Conference

Other files and links

Cite this