Report on an Implementation of a Semi-Inverter

Torben Ægidius Mogensen

Report on an Implementation of a Semi-Inverter

Original language	English
Title of host publication	Perspectives of System Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006
Editors	Irina Virbitskaite, Andrei Voronkov
Number of pages	13
Publisher	Springer
Publication date	2006
Pages	322-334
ISBN (Print)	3-540-70880-4
Publication status	Published - 2006
Event	Perspectives of System Informatics - Novosibirsk, Russian Federation Duration: 27 Jul 2006 → 30 Jul 2006 Conference number: 6

Conference

Conference	Perspectives of System Informatics
Number	6
Country/Territory	Russian Federation
City	Novosibirsk
Period	27/07/2006 → 30/07/2006

Series	Lecture notes in computer science
Number	4378
ISSN	0302-9743

Cite this

Report on an Implementation of a Semi-Inverter. / Mogensen, Torben Ægidius.

Perspectives of System Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006. ed. / Irina Virbitskaite; Andrei Voronkov. Springer, 2006. p. 322-334 (Lecture notes in computer science; No. 4378).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

@inproceedings{93dbde40d03f11dd9473000ea68e967b,

title = "Report on an Implementation of a Semi-Inverter",

author = "Mogensen, {Torben {\AE}gidius}",

year = "2006",

language = "English",

isbn = "3-540-70880-4",

series = "Lecture notes in computer science",

publisher = "Springer",

number = "4378",

pages = "322--334",

editor = "Irina Virbitskaite and Andrei Voronkov",

booktitle = "Perspectives of System Informatics",

note = "Perspectives of System Informatics ; Conference date: 27-07-2006 Through 30-07-2006",

}

TY - GEN

T1 - Report on an Implementation of a Semi-Inverter

AU - Mogensen, Torben Ægidius

N1 - Conference code: 6

PY - 2006

Y1 - 2006

M3 - Article in proceedings

SN - 3-540-70880-4

T3 - Lecture notes in computer science

SP - 322

EP - 334

BT - Perspectives of System Informatics

A2 - Virbitskaite, Irina

A2 - Voronkov, Andrei

PB - Springer

T2 - Perspectives of System Informatics

Y2 - 27 July 2006 through 30 July 2006

ER -