A general notion of realizability

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

DOI

Original languageEnglish
Title of host publication 15th Annual IEEE Symposium on Logic in Computer Science, 2000. Proceedings.
Number of pages11
PublisherIEEE Signal Processing Society
Publication year2000
Pages7 - 17
ISBN (print)0-7695-0725-5
DOIs
Publication statusPublished - 2000
Externally publishedYes
EventThe Annual IEEE Symposium on Logic in Computer Science: LICS '02 - Cobenhagen, Denmark
Duration: 22 Jul 200225 Jul 2002
Conference number: 17

Conference

ConferenceThe Annual IEEE Symposium on Logic in Computer Science: LICS '02
Nummer17
LandDenmark
ByCobenhagen
Periode22/07/200225/07/2002

See relations at Aarhus University Citationformats

ID: 93271886