{ "labelLang" : "hun", "responseDate" : "2024-03-29 09:21", "content" : { "otype" : "Book", "mtid" : 1776825, "status" : "VALIDATED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2015-11-24T14:37:33.000+0000", "deleted" : false, "oldId" : 1776825, "lastRefresh" : "2024-03-25T04:44:24.042+0000", "lastModified" : "2021-03-10T14:56:11.555+0000", "created" : "2011-12-04T08:36:27.000+0000", "creator" : { "otype" : "Author", "mtid" : 10000916, "link" : "/api/author/10000916", "label" : "Lovász László (Matematika, számítógéptudomány)", "familyName" : "Lovász", "givenName" : "László", "published" : true, "oldId" : 10000916, "snippet" : true }, "lastDuplumOK" : "2022-11-14T10:46:44.150+0000", "lastDuplumSearch" : "2022-11-14T10:46:44.150+0000", "validated" : "2021-03-10T14:56:11.562+0000", "validator" : { "otype" : "Admin", "mtid" : 10073918, "link" : "/api/admin/10073918", "label" : "Kovács Marcell (MTMT Közp., admin)", "familyName" : "Kovács", "givenName" : "Marcell", "published" : true, "snippet" : true }, "core" : true, "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" : "Gécseg, F", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 899626, "link" : "/api/authorship/899626", "label" : "Gécseg, F [Gécseg, Ferenc (Automataelmélet), szerk.]", "listPosition" : 1, "share" : 1.0, "first" : false, "last" : false, "author" : { "otype" : "Author", "mtid" : 10000905, "link" : "/api/author/10000905", "label" : "Gécseg Ferenc (Automataelmélet)", "familyName" : "Gécseg", "givenName" : "Ferenc", "published" : true, "oldId" : 10000905, "snippet" : true }, "familyName" : "Gécseg", "givenName" : "F", "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, "oldId" : 13810626, "snippet" : true } ], "title" : "Fundamentals of Computation Theory", "subTitle" : "Proceedings of the 1981 International FCT-Conference, Szeged, Hungary August 24–28, 1981", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 253074, "link" : "/api/publicationidentifier/253074", "label" : "DOI: 10.1007/3-540-10854-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 }, "oaFree" : false, "validState" : "NO", "idValue" : "10.1007/3-540-10854-8", "realUrl" : "https://doi.org/10.1007/3-540-10854-8", "published" : false, "oldId" : 1257961, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 253073, "link" : "/api/publicationidentifier/253073", "label" : "ISBN: 3540108548", "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" : "3540108548", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A3540108548", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18236288, "link" : "/api/publicationidentifier/18236288", "label" : "ISBN: 9783540108542", "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" : "9783540108542", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783540108542", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18236289, "link" : "/api/publicationidentifier/18236289", "label" : "ISBN: 9783540387657", "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" : "9783540387657", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783540387657", "published" : false, "snippet" : true } ], "volumeNumber" : "117", "seriesMembers" : [ { "otype" : "SeriesVolume", "mtid" : 20522, "link" : "/api/seriesvolume/20522", "label" : "Lecture Notes in Computer Science 0302-9743 1611-3349, 117", "publication" : { "otype" : "Book", "mtid" : 1776825, "link" : "/api/publication/1776825", "label" : "Gécseg F. Fundamentals of Computation Theory: Proceedings of the 1981 International FCT-Conference, Szeged, Hungary August 24–28, 1981. (1981) ISBN:3540108548; 9783540108542; 9783540387657", "core" : true, "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 } ], "title" : "Fundamentals of Computation Theory", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 253074, "link" : "/api/publicationidentifier/253074", "label" : "DOI: 10.1007/3-540-10854-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 }, "oaFree" : false, "validState" : "NO", "idValue" : "10.1007/3-540-10854-8", "realUrl" : "https://doi.org/10.1007/3-540-10854-8", "published" : false, "oldId" : 1257961, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 253073, "link" : "/api/publicationidentifier/253073", "label" : "ISBN: 3540108548", "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" : "3540108548", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A3540108548", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18236288, "link" : "/api/publicationidentifier/18236288", "label" : "ISBN: 9783540108542", "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" : "9783540108542", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783540108542", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18236289, "link" : "/api/publicationidentifier/18236289", "label" : "ISBN: 9783540387657", "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" : "9783540387657", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783540387657", "published" : false, "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" : 10500, "link" : "/api/city/10500", "label" : "Heidelberg, 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" : 1028552, "snippet" : true } ], "publishedYear" : 1981, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "published" : true, "oldId" : 1776825, "snippet" : true }, "series" : { "otype" : "BookSeries", "mtid" : 20000018, "link" : "/api/bookseries/20000018", "label" : "Lecture Notes in Computer Science 0302-9743 1611-3349", "pIssn" : "0302-9743", "eIssn" : "1611-3349", "noIF" : false, "sciIndexed" : false, "scopusIndexed" : false, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "snippet" : true }, "published" : false, "snippet" : true } ], "editionNumber" : 1, "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" : 10500, "link" : "/api/city/10500", "label" : "Heidelberg, 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" : 1028552, "snippet" : true } ], "firstPageOrInternalIdForSort" : "", "publishedYear" : 1981, "conference" : { "otype" : "Conference", "mtid" : 221955, "link" : "/api/conference/221955", "label" : "International Conference on Fundamentals of Computation Theory, FCT 1981 1981-08-24 [Szeged, Magyarország]", "location" : [ { "otype" : "City", "mtid" : 10004, "link" : "/api/city/10004", "label" : "Szeged, Magyarország", "partOf" : { "otype" : "Country", "mtid" : 10001, "link" : "/api/country/10001", "label" : "Magyarország", "published" : true, "oldId" : 1, "snippet" : true }, "published" : true, "oldId" : 1015847, "snippet" : true } ], "published" : true, "snippet" : true }, "keywords" : [ { "otype" : "Keyword", "mtid" : 3048, "link" : "/api/keyword/3048", "label" : "COMPUTER", "published" : true, "oldId" : 3048, "snippet" : true }, { "otype" : "Keyword", "mtid" : 3262, "link" : "/api/keyword/3262", "label" : "ALGORITHM", "published" : true, "oldId" : 3262, "snippet" : true }, { "otype" : "Keyword", "mtid" : 3698, "link" : "/api/keyword/3698", "label" : "Algorithms", "published" : true, "oldId" : 3698, "snippet" : true }, { "otype" : "Keyword", "mtid" : 11508, "link" : "/api/keyword/11508", "label" : "computation", "published" : true, "oldId" : 11508, "snippet" : true }, { "otype" : "Keyword", "mtid" : 12501, "link" : "/api/keyword/12501", "label" : "LOGIC", "published" : true, "oldId" : 12501, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1015171, "link" : "/api/keyword/1015171", "label" : "Computer science", "published" : true, "oldId" : 1015171, "snippet" : true } ], "digital" : null, "printed" : null, "collaboration" : "INTERNATIONAL", "sourceYear" : 2011, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : null, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2024-03-25", "oaFree" : false, "oaByAuthor" : { "otype" : "Admin", "mtid" : 10051300, "link" : "/api/admin/10051300", "label" : "Háromszéki-Virág Fruzsina (MTMT Központi admin)", "familyName" : "Háromszéki-Virág", "givenName" : "Fruzsina", "published" : true, "oldId" : 10051300, "snippet" : true }, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "nationalOriginCitationCount" : 0, "foreignEditionCitationCount" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "wosScopusCitationCount" : 0, "wosScopusCitationCountWoOther" : 0, "wosScopusIndependentCitationCount" : 0, "wosScopusIndependentCitationCountWoOther" : 0, "independentCitationCount" : 0, "selfCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "citingPubCountWoOther" : 0, "independentCitingPubCountWoOther" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 0, "citedCount" : 0, "hasCitationDuplums" : false, "userChangeableUntil" : "2013-01-09T09:00:58.000+0000", "publishDate" : "2012-10-11T08:00:58.000+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 1, "ownerInstituteCount" : 8, "directInstituteCount" : 0, "authorCount" : 0, "contributorCount" : 1, "chapterCount" : 8, "chapters" : [ { "otype" : "BookChapter", "mtid" : 23799090, "link" : "/api/publication/23799090", "label" : "Burmeister P. Quasi-equational logic for partial algebras.. (1981) Megjelent: Fundamentals of Computation Theory pp. 71-80", "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" : "Quasi-equational logic for partial algebras.", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 7497942, "link" : "/api/publicationidentifier/7497942", "label" : "DOI: 10.1007/3-540-10854-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 }, "validState" : "NO", "idValue" : "10.1007/3-540-10854-8_7", "realUrl" : "https://doi.org/10.1007/3-540-10854-8_7", "published" : false, "oldId" : 5625774, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 10, "publishedYear" : 1981, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "oldId" : 13799090, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 27223586, "link" : "/api/publication/27223586", "label" : "Csákány B. Homogeneity and completeness. (1981) Megjelent: Fundamentals of Computation Theory pp. 81-89", "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" : "Homogeneity and completeness", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 13680295, "link" : "/api/publicationidentifier/13680295", "label" : "DOI: 10.1007/3-540-10854-8_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 }, "validState" : "NO", "idValue" : "10.1007/3-540-10854-8_8", "realUrl" : "https://doi.org/10.1007/3-540-10854-8_8", "published" : false, "oldId" : 16751730, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 13686465, "link" : "/api/publicationidentifier/13686465", "label" : "Scopus: 85034259135", "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" : "85034259135", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85034259135", "published" : false, "oldId" : 16760750, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 9, "publishedYear" : 1981, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "oldId" : 17223586, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 1678296, "link" : "/api/publication/1678296", "label" : "Esik Z. An axiomatization of regular forests in the language of algebraic theories with iteration. (1981) Megjelent: Fundamentals of Computation Theory pp. 130-136", "core" : true, "citation" : false, "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" : "An axiomatization of regular forests in the language of algebraic theories with iteration", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 17089465, "link" : "/api/publicationidentifier/17089465", "label" : "DOI: 10.1007/3-540-10854-8_13", "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/3-540-10854-8_13", "realUrl" : "https://doi.org/10.1007/3-540-10854-8_13", "published" : true, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 17089464, "link" : "/api/publicationidentifier/17089464", "label" : "Scopus: 72049132184", "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" : "72049132184", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-72049132184", "published" : true, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 7, "publishedYear" : 1981, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "published" : true, "oldId" : 1678296, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 1294170, "link" : "/api/publication/1294170", "label" : "Korte B et al. Mathematical structures underlying greedy algorithms. (1981) Megjelent: Fundamentals of Computation Theory pp. 205-209", "core" : true, "citation" : false, "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" : "Mathematical structures underlying greedy algorithms", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 20378921, "link" : "/api/publicationidentifier/20378921", "label" : "DOI: 10.1007/3-540-10854-8_22", "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/3-540-10854-8_22", "realUrl" : "https://doi.org/10.1007/3-540-10854-8_22", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 20378920, "link" : "/api/publicationidentifier/20378920", "label" : "Scopus: 84987481205", "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" : "84987481205", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84987481205", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 253075, "link" : "/api/publicationidentifier/253075", "label" : "Mathematical Reviews: MR0652986", "source" : { "otype" : "PlainSource", "mtid" : 7, "link" : "/api/publicationsource/7", "label" : "Mathematical Reviews", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Mathematical Reviews", "nameEng" : "Mathematical Reviews", "linkPattern" : "https://mathscinet.ams.org/mathscinet-getitem?mr=@@@", "publiclyVisible" : true, "published" : true, "oldId" : 7, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "MR0652986", "realUrl" : "https://mathscinet.ams.org/mathscinet-getitem?mr=MR0652986", "published" : false, "oldId" : 698733, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 5, "publishedYear" : 1981, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "published" : true, "oldId" : 1294170, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 33231000, "link" : "/api/publication/33231000", "label" : "Monien B.. On the LBA problem. (1981) Megjelent: Fundamentals of Computation Theory pp. 265-280", "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" : "On the LBA problem", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 22052296, "link" : "/api/publicationidentifier/22052296", "label" : "DOI: 10.1007/3-540-10854-8_30", "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/3-540-10854-8_30", "realUrl" : "https://doi.org/10.1007/3-540-10854-8_30", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 22052295, "link" : "/api/publicationidentifier/22052295", "label" : "Scopus: 33750175613", "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" : "33750175613", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-33750175613", "published" : false, "snippet" : true } ], "volume" : "117 LNCS", "publishedAt" : [ ], "pageLength" : 16, "publishedYear" : 1981, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "published" : true, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 2963095, "link" : "/api/publication/2963095", "label" : "Németi I. Dynamic algebras of programs. (1981) Megjelent: Fundamentals of Computation Theory pp. 281-290", "core" : true, "citation" : false, "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" : "Dynamic algebras of programs", "identifiers" : [ ], "publishedAt" : [ ], "pageLength" : 10, "publishedYear" : 1981, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "nationalOrigin" : true, "published" : true, "oldId" : 2963095, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 27362223, "link" : "/api/publication/27362223", "label" : "Sain I. First order dynamic logic with decidable proofs and workable model theory. (1981) Megjelent: Fundamentals of Computation Theory pp. 334-340", "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" : "First order dynamic logic with decidable proofs and workable model theory", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 13946326, "link" : "/api/publicationidentifier/13946326", "label" : "DOI: 10.1007/3-540-10854-8_37", "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/3-540-10854-8_37", "realUrl" : "https://doi.org/10.1007/3-540-10854-8_37", "published" : false, "oldId" : 17180367, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 13946325, "link" : "/api/publicationidentifier/13946325", "label" : "Scopus: 85025485032", "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" : "85025485032", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85025485032", "published" : false, "oldId" : 17180366, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 7, "publishedYear" : 1981, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : true, "published" : true, "oldId" : 17362223, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 3112934, "link" : "/api/publication/3112934", "label" : "Turán Gy. On cellular graph-automata and second-order definable graph-properties. (1981) Megjelent: Fundamentals of Computation Theory pp. 384-393", "core" : true, "citation" : false, "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" : "On cellular graph-automata and second-order definable graph-properties", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 1127184, "link" : "/api/publicationidentifier/1127184", "label" : "DOI: 10.1007/3-540-10854-8_42", "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 }, "oaFree" : false, "validState" : "NO", "idValue" : "10.1007/3-540-10854-8_42", "realUrl" : "https://doi.org/10.1007/3-540-10854-8_42", "published" : false, "oldId" : 1456158, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 10, "publishedYear" : 1981, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : true, "published" : true, "oldId" : 3112934, "snippet" : true } ], "fromCitation" : false, "hasQualityFactor" : false, "link" : "/api/publication/1776825", "label" : "Gécseg F. Fundamentals of Computation Theory: Proceedings of the 1981 International FCT-Conference, Szeged, Hungary August 24–28, 1981. (1981) ISBN:3540108548; 9783540108542; 9783540387657", "template" : "