{ "labelLang" : "hun", "responseDate" : "2024-03-28 20:22", "content" : { "otype" : "Book", "mtid" : 30162441, "status" : "ADMIN_APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2016-12-09T11:52:55.000+0000", "deleted" : false, "lastRefresh" : "2024-03-25T04:36:22.243+0000", "lastModified" : "2021-05-15T14:01:39.184+0000", "created" : "2014-07-22T19:03:34.000+0000", "creator" : { "otype" : "Author", "mtid" : 10003349, "link" : "/api/author/10003349", "label" : "Ésik Zoltán (Számítástudomány)", "familyName" : "Ésik", "givenName" : "Zoltán", "published" : true, "oldId" : 10003349, "snippet" : true }, "lastDuplumOK" : "2021-05-15T14:01:39.989+0000", "lastDuplumSearch" : "2021-05-15T14:01:39.989+0000", "adminApproved" : "2021-05-15T13:23:53.767+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10018695, "link" : "/api/admin/10018695", "label" : "Bernátskyné Babus Csilla (SZTE admin4)", "familyName" : "Bernátskyné Babus", "givenName" : "Csilla", "published" : true, "oldId" : 10018695, "snippet" : true }, "core" : false, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Konferenciakötet (Könyv)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "listPosition" : 345, "published" : true, "oldId" : 10000144, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Peter, Höfner", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 96294348, "link" : "/api/authorship/96294348", "label" : "Peter, Höfner [szerk.]", "listPosition" : 1, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Peter", "givenName" : "Höfner", "authorTyped" : false, "editorTyped" : true, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 2, "link" : "/api/authorshiptype/2", "label" : "Szerkesztő", "code" : -1, "published" : true, "oldId" : -1, "snippet" : true }, "published" : false, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 96294349, "link" : "/api/authorship/96294349", "label" : "Peter, Jipsen [szerk.]", "listPosition" : 2, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Peter", "givenName" : "Jipsen", "authorTyped" : false, "editorTyped" : true, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 2, "link" : "/api/authorshiptype/2", "label" : "Szerkesztő", "code" : -1, "published" : true, "oldId" : -1, "snippet" : true }, "published" : false, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 96294350, "link" : "/api/authorship/96294350", "label" : "Wolfram, Kahl [szerk.]", "listPosition" : 3, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Wolfram", "givenName" : "Kahl", "authorTyped" : false, "editorTyped" : true, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 2, "link" : "/api/authorshiptype/2", "label" : "Szerkesztő", "code" : -1, "published" : true, "oldId" : -1, "snippet" : true }, "published" : false, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 96294351, "link" : "/api/authorship/96294351", "label" : "Martin, Eric Müller [szerk.]", "listPosition" : 4, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Martin", "givenName" : "Eric Müller", "authorTyped" : false, "editorTyped" : true, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 2, "link" : "/api/authorshiptype/2", "label" : "Szerkesztő", "code" : -1, "published" : true, "oldId" : -1, "snippet" : true }, "published" : false, "snippet" : true } ], "title" : "Relational and Algebraic Methods in Computer Science", "subTitle" : "14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 18786255, "link" : "/api/publicationidentifier/18786255", "label" : "DOI: 10.1007/978-3-319-06251-8", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "idValue" : "10.1007/978-3-319-06251-8", "realUrl" : "https://doi.org/10.1007/978-3-319-06251-8", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 7963619, "link" : "/api/publicationidentifier/7963619", "label" : "ISBN: 9783319062501", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783319062501", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783319062501", "published" : false, "snippet" : true } ], "volumeNumber" : "LNCS 8428", "publishers" : [ { "otype" : "Publisher", "mtid" : 50952, "link" : "/api/publisher/50952", "label" : "Springer Netherlands", "name" : "Springer Netherlands", "published" : true, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 10489, "link" : "/api/city/10489", "label" : "Berlin, Németország", "partOf" : { "otype" : "Country", "mtid" : 10011, "link" : "/api/country/10011", "label" : "Németország", "published" : true, "oldId" : 5, "snippet" : true }, "published" : true, "oldId" : 1022992, "snippet" : true }, { "otype" : "City", "mtid" : 15258, "link" : "/api/city/15258", "label" : "Cham, Svájc", "partOf" : { "otype" : "Country", "mtid" : 10022, "link" : "/api/country/10022", "label" : "Svájc", "published" : true, "oldId" : 18, "snippet" : true }, "published" : true, "oldId" : 10006686, "snippet" : true } ], "firstPageOrInternalIdForSort" : "", "publishedYear" : 2014, "conference" : { "otype" : "Conference", "mtid" : 182205, "link" : "/api/conference/182205", "label" : "Relational and Algebraic Methods in Computer Science 2014-04-28 [Abtei Marienstatt, Németország]", "location" : [ { "otype" : "City", "mtid" : 14434, "link" : "/api/city/14434", "label" : "Abtei Marienstatt, Németország", "partOf" : { "otype" : "Country", "mtid" : 10011, "link" : "/api/country/10011", "label" : "Németország", "published" : true, "oldId" : 5, "snippet" : true }, "published" : true, "oldId" : 10005502, "snippet" : true } ], "published" : true, "snippet" : true }, "digital" : null, "printed" : null, "sourceYear" : 2021, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : false, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2024-03-25", "oaFree" : false, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "independentCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 0, "citedCount" : 0, "hasCitationDuplums" : false, "userChangeableUntil" : "2017-12-31T23:00:00.000+0000", "publishDate" : "2015-03-05T04:25:33.000+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 6, "ownerInstituteCount" : 24, "directInstituteCount" : 0, "authorCount" : 0, "contributorCount" : 4, "chapterCount" : 9, "chapters" : [ { "otype" : "BookChapter", "mtid" : 32016600, "link" : "/api/publication/32016600", "label" : "Brunet P. et al. Kleene algebra with converse. (2014) Megjelent: Relational and Algebraic Methods in Computer Science pp. 101-118", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Kleene algebra with converse", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 18786218, "link" : "/api/publicationidentifier/18786218", "label" : "DOI: 10.1007/978-3-319-06251-8_7", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "idValue" : "10.1007/978-3-319-06251-8_7", "realUrl" : "https://doi.org/10.1007/978-3-319-06251-8_7", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18786217, "link" : "/api/publicationidentifier/18786217", "label" : "Scopus: 84901704641", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "idValue" : "84901704641", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84901704641", "published" : false, "snippet" : true } ], "volume" : "8428 LNCS", "publishedAt" : [ ], "pageLength" : 18, "publishedYear" : 2014, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 25475319, "link" : "/api/publication/25475319", "label" : "Ghosh M et al. Refinements of the RCC25 composition table. (2014) Megjelent: Relational and Algebraic Methods in Computer Science pp. 379-394", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000398, "link" : "/api/subtype/10000398", "label" : "Könyvfejezet (Könyvrészlet)", "name" : "Könyvfejezet", "nameEng" : "Chapter", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 220, "published" : true, "oldId" : 10000398, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Refinements of the RCC25 composition table", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 10504135, "link" : "/api/publicationidentifier/10504135", "label" : "DOI: 10.1007/978-3-319-06251-8_23", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "validState" : "NO", "idValue" : "10.1007/978-3-319-06251-8_23", "realUrl" : "https://doi.org/10.1007/978-3-319-06251-8_23", "published" : false, "oldId" : 11466259, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 10504134, "link" : "/api/publicationidentifier/10504134", "label" : "Scopus: 84901710440", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "validState" : "NO", "idValue" : "84901710440", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84901710440", "published" : false, "oldId" : 11466258, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 16, "publishedYear" : 2014, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "nationalOrigin" : false, "published" : true, "oldId" : 15475319, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 24335386, "link" : "/api/publication/24335386", "label" : "Jipsen P. Concurrent Kleene algebra with tests.. (2014) Megjelent: Relational and Algebraic Methods in Computer Science pp. 37-48", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000398, "link" : "/api/subtype/10000398", "label" : "Könyvfejezet (Könyvrészlet)", "name" : "Könyvfejezet", "nameEng" : "Chapter", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 220, "published" : true, "oldId" : 10000398, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Concurrent Kleene algebra with tests.", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 8382783, "link" : "/api/publicationidentifier/8382783", "label" : "DOI: 10.1007/978-3-319-06251-8_3", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "validState" : "NO", "idValue" : "10.1007/978-3-319-06251-8_3", "realUrl" : "https://doi.org/10.1007/978-3-319-06251-8_3", "published" : false, "oldId" : 7797148, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 8382782, "link" : "/api/publicationidentifier/8382782", "label" : "Scopus: 84901702819", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "validState" : "NO", "idValue" : "84901702819", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84901702819", "published" : false, "oldId" : 7797164, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 12, "publishedYear" : 2014, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "nationalOrigin" : false, "published" : true, "oldId" : 14335386, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 24096114, "link" : "/api/publication/24096114", "label" : "Michael R Laurence et al. Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages. (2014) Megjelent: Relational and Algebraic Methods in Computer Science pp. 65-82", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages", "identifiers" : [ ], "publishedAt" : [ ], "pageLength" : 18, "publishedYear" : 2014, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "oldId" : 14096114, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 24096117, "link" : "/api/publication/24096117", "label" : "Michael R Laurence et al. Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages. (2014) Megjelent: Relational and Algebraic Methods in Computer Science pp. 65-82", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages", "identifiers" : [ ], "publishedAt" : [ ], "pageLength" : 18, "publishedYear" : 2014, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "duplumRole" : "DUPLUM", "published" : true, "oldId" : 14096117, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 24571957, "link" : "/api/publication/24571957", "label" : "Michael R Laurence et al. Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages. (2014) Megjelent: Relational and Algebraic Methods in Computer Science pp. 65-82", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages", "identifiers" : [ ], "publishedAt" : [ ], "pageLength" : 18, "publishedYear" : 2014, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "duplumRole" : "DUPLUM", "published" : true, "oldId" : 14571957, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 25095928, "link" : "/api/publication/25095928", "label" : "Müller M E. Towards Finding Maximal Subrelations with Desired Properties. (2014) Megjelent: Relational and Algebraic Methods in Computer Science pp. 344-361", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000398, "link" : "/api/subtype/10000398", "label" : "Könyvfejezet (Könyvrészlet)", "name" : "Könyvfejezet", "nameEng" : "Chapter", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 220, "published" : true, "oldId" : 10000398, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Towards Finding Maximal Subrelations with Desired Properties", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 9836135, "link" : "/api/publicationidentifier/9836135", "label" : "DOI: 10.1007/978-3-319-06251-8_21", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "validState" : "IDENTICAL", "idValue" : "10.1007/978-3-319-06251-8_21", "realUrl" : "https://doi.org/10.1007/978-3-319-06251-8_21", "published" : false, "oldId" : 10376708, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 24087473, "link" : "/api/publicationidentifier/24087473", "label" : "WoS: 000719358000021", "source" : { "otype" : "PlainSource", "mtid" : 1, "link" : "/api/publicationsource/1", "label" : "WoS", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "WoS", "nameEng" : "WoS", "linkPattern" : "https://www.webofscience.com/wos/woscc/full-record/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "validState" : "IDENTICAL", "idValue" : "000719358000021", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000719358000021", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 25732289, "link" : "/api/publicationidentifier/25732289", "label" : "Scopus: 84901719747", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "validState" : "IDENTICAL", "idValue" : "84901719747", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84901719747", "published" : false, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 18, "publishedYear" : 2014, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "published" : true, "oldId" : 15095928, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 24573980, "link" : "/api/publication/24573980", "label" : "Paul Brunet et al. Kleene Algebra with Converse. (2014) Megjelent: Relational and Algebraic Methods in Computer Science pp. 101-118", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Kleene Algebra with Converse", "identifiers" : [ ], "publishedAt" : [ ], "pageLength" : 18, "publishedYear" : 2014, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "oldId" : 14573980, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 24229317, "link" : "/api/publication/24229317", "label" : "Stell JG et al. Tableau development for a bi-intuitionistic tense logic. (2014) Megjelent: Relational and Algebraic Methods in Computer Science pp. 412-428", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000303, "link" : "/api/subtype/10000303", "label" : "Szaktanulmány (Könyvrészlet)", "name" : "Szaktanulmány", "nameEng" : "Study", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 219, "published" : true, "oldId" : 10000303, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Tableau development for a bi-intuitionistic tense logic", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 8200873, "link" : "/api/publicationidentifier/8200873", "label" : "DOI: 10.1007/978-3-319-06251-8_25", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "validState" : "NO", "idValue" : "10.1007/978-3-319-06251-8_25", "realUrl" : "https://doi.org/10.1007/978-3-319-06251-8_25", "published" : false, "oldId" : 7516127, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 8200872, "link" : "/api/publicationidentifier/8200872", "label" : "Scopus: 84901723131", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "validState" : "NO", "idValue" : "84901723131", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84901723131", "published" : false, "oldId" : 7516126, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 17, "publishedYear" : 2014, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "nationalOrigin" : false, "published" : true, "oldId" : 14229317, "snippet" : true } ], "fromCitation" : true, "hasQualityFactor" : false, "link" : "/api/publication/30162441", "label" : "Peter Höfner. Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings. (2014) ISBN:9783319062501", "template" : "