This HTML5 document contains 153 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n23https://www.bioxbio.com/journal/
dcthttp://purl.org/dc/terms/
n18https://www.scopus.com/sourceid/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n19http://www.worldcat.org/oclc/
n17http://www.lmcs-online.org/
n15http://g.co/kg/m/
n26https://lmcs.episciences.org/browse/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n20https://www.worldcat.org/search?fq=x0:jrnl&q=n2:
n13http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n14https://
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
n24http://tools.wmflabs.org/cite-o-meter/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n6http://lamp.infosys.deakin.edu.au/era/

Statements

Subject Item
dbpedia-fr:Logical_Methods_in_Computer_Science
rdf:type
schema:CreativeWork wikidata:Q1092563 wikidata:Q737498 wikidata:Q234460 wikidata:Q386724 owl:Thing dbo:Work dbo:WrittenWork dbo:AcademicJournal dbo:PeriodicalLiterature
rdfs:label
Logical Methods in Computer Science
rdfs:comment
Logical Methods in Computer Science est une revue scientifique en libre accès à évaluation par les pairs, couvrant des thèmes en informatique théorique et en logic. Elle a été créée en 2005. Le rédacteur en chef est Lars Birkedal, de l'université d'Aarhus. La revue est publiée sous la forme d'une superposition du CoRR (« Computing Research Repository »), c'est-à-dire la partie informatique d'arXiv. Ceci garantit la pérennité des publications.
rdfs:seeAlso
n6:?page=jnamedet12f&eraid=39875 n18:19700175752 n20:1860-5974 n24:?doip=10.2168
owl:sameAs
dbpedia-zh:電腦科學邏輯方法期刊 wikidata:Q13644986 n15:08jl_6 n19:897996717 dbr:Logical_Methods_in_Computer_Science
dbo:wikiPageID
12522632
dbo:wikiPageRevisionID
184071685
dbo:wikiPageWikiLink
dbpedia-fr:Théorie_des_modèles_finis dbpedia-fr:Calculateur_quantique category-fr:Titre_de_presse_créé_en_2005 dbpedia-fr:Analyse_statique_de_programmes dbpedia-fr:Programmation_par_contraintes dbpedia-fr:Sécurité_des_systèmes_d'information dbpedia-fr:Science_Citation_Index dbpedia-fr:Évaluation_par_les_pairs dbpedia-fr:Libre_accès_(édition_scientifique) dbpedia-fr:Mathematical_Reviews dbpedia-fr:ZbMATH dbpedia-fr:Logique_modale dbpedia-fr:Logique_temporelle dbpedia-fr:Théorie_des_domaines dbpedia-fr:Raisonnement_révisable dbpedia-fr:Programmation_fonctionnelle dbpedia-fr:Réécriture_(informatique) category-fr:Revue_scientifique_en_anglais dbpedia-fr:Programmation_logique dbpedia-fr:Preuve_interactive dbpedia-fr:Constructivisme_(mathématiques) dbpedia-fr:Current_Contents dbpedia-fr:Complexité_des_preuves dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Automate_fini dbpedia-fr:Système_temps_réel dbpedia-fr:Digital_Bibliography_&_Library_Project dbpedia-fr:Rédacteur_en_chef dbpedia-fr:Programmation_concurrente dbpedia-fr:Informatique_théorique dbpedia-fr:Revue_scientifique dbpedia-fr:Satisfaisabilité dbpedia-fr:Sémantique_des_langages_de_programmation dbpedia-fr:Université_d'Aarhus dbpedia-fr:Théorie_des_types dbpedia-fr:Logique dbpedia-fr:Représentation_des_connaissances dbpedia-fr:Théorie_des_bases_de_données category-fr:Revue_d'informatique_en_libre_accès dbpedia-fr:Coalgèbre dbpedia-fr:Facteur_d'impact dbpedia-fr:Lambda-calcul dbpedia-fr:ArXiv dbpedia-fr:Scopus_(Elsevier) dbpedia-fr:Journal_Citation_Reports
dbo:wikiPageExternalLink
n14:lmcs.episciences.org n23:LOG-METH-COMPUT-SCI n17: n26:regularissues
dbo:wikiPageLength
5163
dct:subject
category-fr:Titre_de_presse_créé_en_2005 category-fr:Revue_d'informatique_en_libre_accès category-fr:Revue_scientifique_en_anglais
foaf:homepage
n17:
prop-fr:wikiPageUsesTemplate
n13:Lien n13:Citation_étrangère n13:Site_officiel n13:Portail n13:Références n13:Fin_de_colonnes n13:Infobox_Revue n13:Début_de_colonnes
prov:wasDerivedFrom
wikipedia-fr:Logical_Methods_in_Computer_Science?oldid=184071685&ns=0
prop-fr:langue
anglais
prop-fr:oclc
897996717
prop-fr:période
2005
prop-fr:siteWeb
n17: n26:regularissues
prop-fr:titre
Logical Methods in Computer Science
prop-fr:discipline
dbpedia-fr:Informatique_théorique
prop-fr:maison
Logical Methods in Computer Science e.V.
prop-fr:fréquence
trimestriel
prop-fr:accèsOuvert
oui
prop-fr:eissn
1860
prop-fr:wikidata
Q13644986
prop-fr:abréviation
Log. Methods Comput. Sci.
prop-fr:annéeImpact
2016
prop-fr:impact
0.661
foaf:isPrimaryTopicOf
wikipedia-fr:Logical_Methods_in_Computer_Science
dbo:abstract
Logical Methods in Computer Science est une revue scientifique en libre accès à évaluation par les pairs, couvrant des thèmes en informatique théorique et en logic. Elle a été créée en 2005. Le rédacteur en chef est Lars Birkedal, de l'université d'Aarhus. La revue est publiée sous la forme d'une superposition du CoRR (« Computing Research Repository »), c'est-à-dire la partie informatique d'arXiv. Ceci garantit la pérennité des publications.
dbo:country
dbpedia-fr:Allemagne
dbo:gameEngine
dbpedia-fr:Épisciences.org
dbo:license
wikidata:Q20007257
dbo:owner
wikidata:Q52634045
dbo:editor
wikidata:Q102342745 wikidata:Q6881440 wikidata:Q21062151 wikidata:Q15995253 wikidata:Q89478710 wikidata:Q11630 wikidata:Q7938456 wikidata:Q93947060 wikidata:Q93947062 wikidata:Q93947070 dbpedia-fr:Orna_Kupferman wikidata:Q93947027 wikidata:Q93947029 wikidata:Q93947032 wikidata:Q93947034 wikidata:Q93947018 wikidata:Q93947020 dbpedia-fr:Dana_S._Scott dbpedia-fr:Neil_Immerman wikidata:Q93947022 wikidata:Q93947024 wikidata:Q93947049 wikidata:Q93947053 wikidata:Q93947056 wikidata:Q93947057 wikidata:Q93947037 wikidata:Q93947042 wikidata:Q93947045 wikidata:Q93947047 wikidata:Q57268372 wikidata:Q7879836 wikidata:Q93944804 wikidata:Q93944806 dbpedia-fr:Alexandra_Silva dbpedia-fr:Jeremy_Avigad wikidata:Q33102660 wikidata:Q18217799 wikidata:Q59656276 wikidata:Q92729 wikidata:Q60646026 wikidata:Q71164789 dbpedia-fr:Valeria_de_Paiva wikidata:Q62560440 wikidata:Q92333014 dbpedia-fr:Marta_Kwiatkowska dbpedia-fr:Bartosz_Klin