http://dbpedia.org/ontology/abstract
|
Лабораторія основ інформатики LFCS (англ. … Лабораторія основ інформатики LFCS (англ. Laboratory for Foundations of Computer Science) науково-дослідний інститут в единбурзькому університеті.Лабораторія була заснована 1987 року лауреатом премії Тюрінга Робіном Мілнером та співробітниками .Наукові дослідження інституту переважно зосереджені на фундаментальних напрямках теорії інформатики, таких як семантика мов програмування, теорія категорій, теорія складності обчислень, паралелізм, формальна верифікація та ін., паралелізм, формальна верифікація та ін.
, The Laboratory for Foundations of Computer … The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the School of Informatics at the University of Edinburgh, in Scotland. It was founded in 1987 and is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling.thms, complexity, databases and modelling.
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.lfcs.inf.ed.ac.uk/ +
, http://www.lfcs.inf.ed.ac.uk/people/ +
|
http://dbpedia.org/ontology/wikiPageID
|
2818171
|
http://dbpedia.org/ontology/wikiPageLength
|
1443
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1106172077
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Semantics_%28computer_science%29 +
, http://dbpedia.org/resource/Formal_logic +
, http://dbpedia.org/resource/Algorithm +
, http://dbpedia.org/resource/1987 +
, http://dbpedia.org/resource/Category:Educational_institutions_established_in_1987 +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/Algebra +
, http://dbpedia.org/resource/Category:University_of_Edinburgh_School_of_Informatics +
, http://dbpedia.org/resource/Concurrency_%28computer_science%29 +
, http://dbpedia.org/resource/Scotland +
, http://dbpedia.org/resource/University_of_Edinburgh_School_of_Informatics +
, http://dbpedia.org/resource/Computational_complexity_theory +
, http://dbpedia.org/resource/Category:1987_establishments_in_Scotland +
, http://dbpedia.org/resource/Category_theory +
, http://dbpedia.org/resource/Database_theory +
, http://dbpedia.org/resource/Type_theory +
, http://dbpedia.org/resource/University_of_Edinburgh +
, http://dbpedia.org/resource/Category:Science_and_technology_in_Edinburgh +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:UK-university-stub +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Use_British_English +
, http://dbpedia.org/resource/Template:Coord +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Scotland-edu-stub +
, http://dbpedia.org/resource/Template:Scotland-org-stub +
, http://dbpedia.org/resource/Template:Comp-sci-theory-stub +
, http://dbpedia.org/resource/Template:Reflist +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:University_of_Edinburgh_School_of_Informatics +
, http://dbpedia.org/resource/Category:Science_and_technology_in_Edinburgh +
, http://dbpedia.org/resource/Category:1987_establishments_in_Scotland +
, http://dbpedia.org/resource/Category:Educational_institutions_established_in_1987 +
|
http://www.georss.org/georss/point
|
55.92125 -3.173611111111111
|
http://www.w3.org/2003/01/geo/wgs84 pos#geometry
|
POINT(-3.173611164093 55.921249389648)
|
http://www.w3.org/2003/01/geo/wgs84 pos#lat
|
55.921249389648
|
http://www.w3.org/2003/01/geo/wgs84 pos#long
|
-3.173611164093
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Laboratory_for_Foundations_of_Computer_Science?oldid=1106172077&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Laboratory_for_Foundations_of_Computer_Science +
|
owl:sameAs |
http://uk.dbpedia.org/resource/%D0%9B%D0%B0%D0%B1%D0%BE%D1%80%D0%B0%D1%82%D0%BE%D1%80%D1%96%D1%8F_%D0%BE%D1%81%D0%BD%D0%BE%D0%B2_%D1%96%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B8_LFCS +
, https://global.dbpedia.org/id/4qCVJ +
, http://yago-knowledge.org/resource/Laboratory_for_Foundations_of_Computer_Science +
, http://rdf.freebase.com/ns/m.084mq7 +
, http://d-nb.info/gnd/290148-1 +
, http://www.wikidata.org/entity/Q6467292 +
, http://dbpedia.org/resource/Laboratory_for_Foundations_of_Computer_Science +
, http://viaf.org/viaf/146031832 +
|
rdf:type |
http://dbpedia.org/class/yago/Organization108008335 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing +
, http://dbpedia.org/class/yago/Unit108189659 +
, http://dbpedia.org/class/yago/YagoPermanentlyLocatedEntity +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/SocialGroup107950920 +
, http://dbpedia.org/class/yago/AdministrativeUnit108077292 +
, http://dbpedia.org/class/yago/Division108220714 +
, http://dbpedia.org/class/yago/Department108114861 +
, http://dbpedia.org/class/yago/WikicatComputerScienceDepartmentsInTheUnitedKingdom +
, http://dbpedia.org/class/yago/Group100031264 +
|
rdfs:comment |
The Laboratory for Foundations of Computer … The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the School of Informatics at the University of Edinburgh, in Scotland. It was founded in 1987 and is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling.thms, complexity, databases and modelling.
, Лабораторія основ інформатики LFCS (англ. … Лабораторія основ інформатики LFCS (англ. Laboratory for Foundations of Computer Science) науково-дослідний інститут в единбурзькому університеті.Лабораторія була заснована 1987 року лауреатом премії Тюрінга Робіном Мілнером та співробітниками .Наукові дослідження інституту переважно зосереджені на фундаментальних напрямках теорії інформатики, таких як семантика мов програмування, теорія категорій, теорія складності обчислень, паралелізм, формальна верифікація та ін., паралелізм, формальна верифікація та ін.
|
rdfs:label |
Лабораторія основ інформатики LFCS
, Laboratory for Foundations of Computer Science
|