Axiomatizing the Least Fixed Point Operation and Binary Supremum

Zoltan Esik

Axiomatizing the Least Fixed Point Operation and Binary Supremum

Zoltan Esik

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

Original language	English
Title of host publication	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
Editors	Clote, P. G. : Schwichtenberg, H. (eds.)
Publisher	IEEE Computer Society Press
Publication date	2000
Edition	1862
Pages	302-316
ISBN (Print)	3540678956
Publication status	Published - 2000
Event	Axiomatizing the Least Fixed Point Operation and Binary Supremum - Duration: 19 May 2010 → …

Conference

Conference	Axiomatizing the Least Fixed Point Operation and Binary Supremum
Period	19/05/2010 → …

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Esik, Z. (2000). Axiomatizing the Least Fixed Point Operation and Binary Supremum. In Clote, P. G. : Schwichtenberg, H. (eds.) (Ed.), 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 ed., pp. 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. editor / Clote, P. G. : Schwichtenberg, H. (eds.). 1862. ed. IEEE Computer Society Press, 2000. pp. 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. in Clote, P. G. : Schwichtenberg, H. (eds.) (ed.), 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 edn, IEEE Computer Society Press, pp. 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. ed. / Clote, P. G. : Schwichtenberg, H. (eds.). 1862. ed. IEEE Computer Society Press, 2000. p. 302-316.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

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 -