|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Buchbeitrag | Konferenzbeitrag
Anzahl der Publikationen: 3
Buchbeitrag
Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut und Tsuiki, Hideki
(2016):
Logic for Gray-code Computation.
In: Probst, Dieter (Hrsg.):
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Ontos Mathematical Logic, Bd. 6. Berlin: Walter De Gruyter. S. 69-110
Konferenzbeitrag
Petrakis, Iosif 
ORCID: https://orcid.org/0000-0002-4121-7455 und Wessel, Daniel ORCID: https://orcid.org/0000-0002-6768-4457
(2022):
Algebras of Complemented Subsets.
18th Conference on Computability in Europe (CiE 2022), Swansea, UK, July 11–15, 2022.
Berger, Ulrich; Franklin, Johanna N. Y.; Manea, Florin und Pauly, Arno (Hrsg.):
In: Revolutions and Revelations in Computability. 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings, Lecture Notes in Computer Science
Bd. 13359
Cham: Springer. S. 246-258
ORCID: https://orcid.org/0000-0002-4121-7455 und Wessel, Daniel ORCID: https://orcid.org/0000-0002-6768-4457
(2022):
Algebras of Complemented Subsets.
18th Conference on Computability in Europe (CiE 2022), Swansea, UK, July 11–15, 2022.
Berger, Ulrich; Franklin, Johanna N. Y.; Manea, Florin und Pauly, Arno (Hrsg.):
In: Revolutions and Revelations in Computability. 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings, Lecture Notes in Computer Science
Bd. 13359
Cham: Springer. S. 246-258
Berger, Ulrich und Schwichtenberg, Helmut
(1991):
An inverse of the evaluation functional for typed Lambda-calculus.
6th Annual IEE Symposium on Logic in Computer Science (LICS'91), Amsterdam, 15. - 18. Juli 1991.
Vermuri, R. (Hrsg.):
In: Proceedings of the 6th Symposium on Logic in Computer Science (LICS'91),
IEEE Computer Society Press, Los Alamitos. S. 203-211
[PDF, 1MB]