- Publikationsdienste
- →
- Universitätsbibliographie
- →
- 7 Mathematisch-Naturwissenschaftliche Fakultät
- →
- Dokumentanzeige « zurück
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Pistone, Paolo | |
| dc.date.accessioned | 2020-07-08T14:52:21Z | |
| dc.date.available | 2020-07-08T14:52:21Z | |
| dc.date.issued | 2019 | |
| dc.identifier.issn | 1860-5974 | |
| dc.identifier.uri | http://hdl.handle.net/10900/102451 | |
| dc.language.iso | en | en |
| dc.publisher | Logical Methods Computer Science E V | de_DE |
| dc.relation.uri | http://dx.doi.org/10.23638/LMCS-15(4:6)2019 | |
| dc.subject.ddc | 004 | de_DE |
| dc.subject.ddc | 610 | de_DE |
| dc.title | ON COMPLETENESS AND PARAMETRICITY IN THE REALIZABILITY SEMANTICS OF SYSTEM F | de_DE |
| dc.type | Article | de_DE |
| utue.quellen.id | 20200409032300_02008 | |
| utue.personen.roh | Pistone, Paolo | |
| dcterms.isPartOf.ZSTitelID | Logical Methods in Computer Science | de_DE |
| dcterms.isPartOf.ZS-Issue | Article 6 | de_DE |
| dcterms.isPartOf.ZS-Volume | 15 | de_DE |
| utue.fakultaet | 07 Mathematisch-Naturwissenschaftliche Fakultät |
Dateien zu dieser Ressource
| Dateien | Größe | Format | Anzeige |
|---|---|---|---|
|
Zu diesem Dokument gibt es keine Dateien. |
|||