Axiomatizing the Least Fixed Point Operation and Binary Supremum

Zoltan Esik

Axiomatizing the Least Fixed Point Operation and Binary Supremum

Zoltan Esik

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Originalsprog	Engelsk
Titel	Computer Science Logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 : Proceedings : Lecture Notes in Computer Science
Redaktører	Clote, P. G. : Schwichtenberg, H. (eds.)
Forlag	IEEE Computer Society Press
Publikationsdato	2000
Udgave	1862
Sider	302-316
ISBN (Trykt)	3540678956
Status	Udgivet - 2000
Begivenhed	Axiomatizing the Least Fixed Point Operation and Binary Supremum - Varighed: 19 maj 2010 → …

Konference

Konference	Axiomatizing the Least Fixed Point Operation and Binary Supremum
Periode	19/05/2010 → …

Bibliografisk note

ISSN ; 0302-9743

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

Esik, Z. (2000). Axiomatizing the Least Fixed Point Operation and Binary Supremum. I Clote, P. G. : Schwichtenberg, H. (eds.) (red.), Computer Science Logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 : Proceedings: Lecture Notes in Computer Science (1862 udg., s. 302-316). IEEE Computer Society Press.

Esik, Zoltan. / Axiomatizing the Least Fixed Point Operation and Binary Supremum. Computer Science Logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 : Proceedings: Lecture Notes in Computer Science. red. / Clote, P. G. : Schwichtenberg, H. (eds.). 1862. udg. IEEE Computer Society Press, 2000. s. 302-316

@inproceedings{f6bc05008ac111dbbb3d000ea68e967b,

title = "Axiomatizing the Least Fixed Point Operation and Binary Supremum",

author = "Zoltan Esik",

note = "ISSN ; 0302-9743; Axiomatizing the Least Fixed Point Operation and Binary Supremum ; Conference date: 19-05-2010",

year = "2000",

language = "English",

isbn = "3540678956",

pages = "302--316",

editor = "{Clote, P. G. : Schwichtenberg, H. (eds.)}",

booktitle = "Computer Science Logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 : Proceedings",

publisher = "IEEE Computer Society Press",

address = "United States",

edition = "1862",

}

Esik, Z 2000, Axiomatizing the Least Fixed Point Operation and Binary Supremum. i Clote, P. G. : Schwichtenberg, H. (eds.) (red.), Computer Science Logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 : Proceedings: Lecture Notes in Computer Science. 1862 udg, IEEE Computer Society Press, s. 302-316, Axiomatizing the Least Fixed Point Operation and Binary Supremum, 19/05/2010.

Axiomatizing the Least Fixed Point Operation and Binary Supremum. / Esik, Zoltan.
Computer Science Logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 : Proceedings: Lecture Notes in Computer Science. red. / Clote, P. G. : Schwichtenberg, H. (eds.). 1862. udg. IEEE Computer Society Press, 2000. s. 302-316.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

TY - GEN

T1 - Axiomatizing the Least Fixed Point Operation and Binary Supremum

AU - Esik, Zoltan

N1 - ISSN ; 0302-9743

PY - 2000

Y1 - 2000

M3 - Article in proceeding

SN - 3540678956

SP - 302

EP - 316

BT - Computer Science Logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 : Proceedings

A2 - Clote, P. G. : Schwichtenberg, H. (eds.), null

PB - IEEE Computer Society Press

T2 - Axiomatizing the Least Fixed Point Operation and Binary Supremum

Y2 - 19 May 2010

ER -