https://m2.mtmt.hu/
hun
2024-03-28 19:29
BookChapter
31827384
ADMIN_APPROVED
true
0
false
2023-08-10T10:00:48.161+0000
2022-01-06T09:36:15.993+0000
2021-01-25T07:50:37.076+0000
true
10029372
Szabó
Tibor
/api/admin/10029372
Admin
true
10029372
2022-01-06T09:36:16.234+0000
2022-01-06T09:36:16.234+0000
2021-02-03T09:13:16.501+0000
true
10029372
Szabó
Tibor
/api/admin/10029372
Admin
true
10029372
true
false
true
31
31
/api/publicationtype/31
PublicationType
4
true
31
BookChapter
true
10000175
Abstract
true
31
31
/api/publicationtype/31
PublicationType
4
true
31
BookChapter
/api/subtype/10000175
Absztrakt / Kivonat
SubType
453
true
10000175
true
1
/api/category/1
Category
true
1
István, Donkó
Formalizing a relational model of concurrent programs in a dependently typed environment
45
46
45
2
2020
Funding
1993310
/api/funding/1993310
false
true
Funding
1993536
/api/funding/1993536
false
true
2021
false
true
false
true
false
GREEN
2023-08-10
true
http://real.mtak.hu/130785/1/macs_istvan.pdf
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
false
false
false
false
2021-02-02T09:13:16.179+0000
PhD Informatika Doktori Iskola (ELTE / IK); Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)
3
19
2
3
0
true
201
true
10002
English
/api/language/10002
Angol
Language
true
2
false
true
10003
true
10001
/api/country/10001
Country
true
1
/api/city/10003
City
true
10005024
true
17793860
/api/publicationidentifier/17793860
http://macs2020.elte.hu/booklet/macs2020abstractBooklet.pdf
http://macs2020.elte.hu/booklet/macs2020abstractBooklet.pdf
PublicationIdentifier
false
/api/publication/31620632
true
true
32
32
/api/publicationtype/32
PublicationType
6
true
32
Book
Collection of Abstracts
false
true
31620632
true
false
true
true
false
Book
2020
true
1
/api/category/1
Category
true
1
false
Language
10002
/api/language/10002
Angol
English
true
2
true
PersonAuthorship
95250744
/api/authorship/95250744
1
0.33333334
true
false
Author
10075391
/api/author/10075391
Donkó
István
true
true
István
Donkó
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
95250745
/api/authorship/95250745
2
0.33333334
false
false
Author
10034203
/api/author/10034203
Kaposi
Ambrus
true
10034203
true
Ambrus
Kaposi
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PersonAuthorship
95250746
/api/authorship/95250746
3
0.33333334
false
true
Author
10029387
/api/author/10029387
Tóth
Melinda
true
10029387
true
Melinda
Tóth
true
false
false
AuthorshipType
1
/api/authorshiptype/1
0
true
0
true
false
true
PublicationIdentifier
20370187
/api/publicationidentifier/20370187
GREEN
true
http://real.mtak.hu/130785/1/macs_istvan.pdf
http://real.mtak.hu/130785/1/macs_istvan.pdf
false
true
/api/publication/31827384
<div class="BookChapter Publication short-list"> <div class="authors"> <span class="author-name" mtid="10075391"> <a href="/gui2/?type=authors&mode=browse&sel=10075391" target="_blank">István, Donkó</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10034203"> <a href="/gui2/?type=authors&mode=browse&sel=10034203" target="_blank">Ambrus, Kaposi</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10029387"> <a href="/gui2/?type=authors&mode=browse&sel=10029387" target="_blank">Melinda, Tóth</a> </span> <span class="author-type"> </span> </div ><div class="title"><a href="/gui2/?mode=browse¶ms=publication;31827384" mtid="31827384" target="_blank">Formalizing a relational model of concurrent programs in a dependently typed environment</a></div> <div class="InBook">In: Zoltán, Horváth; Adrian, Petruşel (szerk.) <span class="booktitle"><a href="/gui2/?mode=browse¶ms=publication;31620632" target="_blank">Collection of Abstracts : 13th Joint Conference on Mathematics and Informatics </a></span > </div><div class="pub-info"> <span class="publishedAt">Budapest, Magyarország : <span class="publisher">ELTE Informatikai Kar</span>, <span class="publisher">Babes-Bolyai Tudományegyetem</span>, <span class="publisher">Babes-Bolyai Tudományegyetem, Matematika és Informatika Kar</span>, <span class="publisher">Babes-Bolyai Tudományegyetem</span> <span class="year">(2020)</span> <span class="pageLength">201 p.</span> <span class="page"> pp. 45-46. , 2 p. </span> </div> <div class="pub-end"><div class="identifier-list"> <span class="identifiers"> <span class="id identifier oa_GREEN" title=" Green "> <a style="color:black" title="http://real.mtak.hu/130785/1/macs_istvan.pdf" target="_blank" href="http://real.mtak.hu/130785/1/macs_istvan.pdf"> Egyéb URL </a> </span> </span> </div> <div class="short-pub-prop-list"> <span class="short-pub-mtid"> Közlemény:31827384 </span> <span class="status-holder"><span class="status-data status-ADMIN_APPROVED"> Admin láttamozott </span></span> <span class="pub-core">Forrás </span> <span class="pub-type">Egyéb konferenciaközlemény (Absztrakt / Kivonat ) </span> <!-- && !record.category.scientific --> <span class="pub-category">Tudományos</span> </div> </div> </div><div class="BookChapter Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10075391"><a href="/gui2/?type=authors&mode=browse&sel=10075391" target="_blank">István Donkó (<span class="authorship-author-name">Donkó István</span> <span class="authorAux-mtmt"> Típuselmélet</span>) </a> </span> <span class="author-affil"><span title="Eötvös Loránd Tudományegyetem">ELTE</span>/<span title="Informatikai Kar">IK</span>/PhD Informatika Doktori Iskola</span> ; <span class="author-name" mtid="10034203"><a href="/gui2/?type=authors&mode=browse&sel=10034203" target="_blank">Ambrus Kaposi (<span class="authorship-author-name">Kaposi Ambrus</span> <span class="authorAux-mtmt"> Típuselmélet</span>) </a> </span> <span class="author-affil"><span title="Eötvös Loránd Tudományegyetem">ELTE</span>/<span title="Informatikai Kar">IK</span>/Programozási Nyelvek és Fordítóprogramok Tanszék</span> ; <span class="author-name" mtid="10029387"><a href="/gui2/?type=authors&mode=browse&sel=10029387" target="_blank">Melinda Tóth (<span class="authorship-author-name">Tóth Melinda</span> <span class="authorAux-mtmt"> Informatika</span>) </a> </span> <span class="author-affil"><span title="Eötvös Loránd Tudományegyetem">ELTE</span>/<span title="Informatikai Kar">IK</span>/Programozási Nyelvek és Fordítóprogramok Tanszék</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse¶ms=publication;31827384" target="_blank">Formalizing a relational model of concurrent programs in a dependently typed environment</a></div> <div class="InBook"><div class="chapter-in">In:</div> <div class="authors"> <div class="autype autype-1"> <span class="author-name" mtid="10009303"><a href="/gui2/?type=authors&mode=browse&sel=10009303" target="_blank">Zoltán Horváth (<span class="authorship-author-name">Horváth Zoltán</span> <span class="authorAux-mtmt"> Matematika-informatika</span>) </a> </span> <span class="author-affil"><span title="Eötvös Loránd Tudományegyetem">ELTE</span>/<span title="Informatikai Kar">IK</span>/Programozási Nyelvek és Fordítóprogramok Tanszék</span> ; <span class="author-name" >Adrian Petruşel </span> (szerk.) </div> </div> <div class="booktitle"><a href="/gui2/?mode=browse¶ms=publication;31620632" target="_blank">Collection of Abstracts : 13th Joint Conference on Mathematics and Informatics </a></div> <div class="conference"> Konferencia helye, ideje: <span class="location">Budapest, Magyarország <span class="conference-date">2020.10.01. - 2020.10.03.</span> (<span class="conference-organizer">Eötvös Loránd Tudományegyetem (ELTE),</span> <span class="conference-organizer">Eötvös Loránd University, Faculty of Informatics,</span> <span class="conference-organizer">ELTE Informatikai Kar,</span> <span class="conference-organizer">Babes-Bolyai Tudományegyetem) </div> <span class="publishedAt">Budapest: <span class="publishers">ELTE Informatikai Kar</span>, <span class="publishers">Babes-Bolyai Tudományegyetem</span>, <span class="publishers">Babes-Bolyai Tudományegyetem, Matematika és Informatika Kar</span>, <span class="publishers">Babes-Bolyai Tudományegyetem</span>, <span class="page"> pp 45-46 </span> <span class="year">(2020)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_GREEN" title=" Green "> <a style="color:black" title="http://real.mtak.hu/130785/1/macs_istvan.pdf" target="_blank" href="http://real.mtak.hu/130785/1/macs_istvan.pdf"> Egyéb URL </a> </span> </span> <span class="bookchapter-ids">Befoglaló link(ek):</span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:black" title="http://macs2020.elte.hu/booklet/macs2020abstractBooklet.pdf" target="_blank" href="http://macs2020.elte.hu/booklet/macs2020abstractBooklet.pdf"> Teljes dokumentum </a> </span> </span> <div class="mtid"><span class="long-pub-mtid">Közlemény: 31827384</span> | <span class="status-data status-ADMIN_APPROVED"> Admin láttamozott </span> <span class="long-book-mtid">Befoglaló: 31620632</span> Forrás | <span class="type-subtype">Egyéb konferenciaközlemény ( Absztrakt / Kivonat ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="funder"> Integrált kutatói utánpótlás-képzési program az informatika és számítástudomány diszciplináris te...(EFOP-3.6.3-VEKOP-16-2017-00002) Támogató: EFOP-VEKOP, TKP2020-NKA-06(Thematic Excellence Programme TKP2020-NKA-06 (National Challenges Subprogramme)) Támogató: NKFI </div> <div class="lastModified">Utolsó módosítás: 2022.01.06. 10:36 Németh Gabriella (ELTE IK admin 5) </div> </div> </div>