Axiomatizing the Least Fixed Point Operation and Binary Supremum

Zoltan Esik

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

OriginalsprogEngelsk
TitelComputer 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ørerClote, P. G. : Schwichtenberg, H. (eds.)
ForlagIEEE Computer Society Press
Publikationsdato2000
Udgave1862
Sider302-316
ISBN (Trykt)3540678956
StatusUdgivet - 2000
BegivenhedAxiomatizing the Least Fixed Point Operation and Binary Supremum -
Varighed: 19 maj 2010 → …

Konference

KonferenceAxiomatizing the Least Fixed Point Operation and Binary Supremum
Periode19/05/2010 → …

Bibliografisk note

ISSN ; 0302-9743

Citer dette

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",
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 proceedingKonferenceartikel i proceedingForskning

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

ER -

Esik Z. 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. 2000. s. 302-316