About: dbpedia-fr:Logical_Methods_in_Computer

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Logical_Methods_in_Computer_Science Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:PeriodicalLiterature, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdf:type	Thing work written work academic journal wikidata:Q737498 schema:CreativeWork wikidata:Q1092563 Text (literary theory) wikidata:Q386724 periodical literature
rdfs:label	Logical Methods in Computer Science (fr)
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. (fr)
rdfs:seeAlso	http://tools.wmflabs.org/cite-o-meter/?doip=10.2168 https://www.scopus.com/sourceid/19700175752 https://www.worldcat.org/search?fq=x0:jrnl&q=n2:1860-5974 http://lamp.infosys.deakin.edu.au/era/?page=jnamedet12f&eraid=39875
sameAs	dbr:Logical_Methods_in_Computer_Science wikidata:Q13644986 dbpedia-zh:電腦科學邏輯方法期刊 http://g.co/kg/m/08jl_6 http://www.worldcat.org/oclc/897996717
Wikipage page ID	12522632 (xsd:integer)
Wikipage revision ID	184071685 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Revue_d'informatique_en_libre_accès Static program analysis ArXiv dbpedia-fr:Automate_fini Quantum computing category-fr:Revue_scientifique_en_anglais category-fr:Titre_de_presse_créé_en_2005 Coalgebra Proof complexity dbpedia-fr:Constructivisme_(mathématiques) dbpedia-fr:Current_Contents DBLP Impact factor Theoretical computer science Journal Citation Reports Lambda calculus dbpedia-fr:Libre_accès_(édition_scientifique) dbpedia-fr:Logique dbpedia-fr:Logique_modale dbpedia-fr:Logique_temporelle dbpedia-fr:Preuve_interactive dbpedia-fr:Programmation_concurrente dbpedia-fr:Programmation_fonctionnelle dbpedia-fr:Programmation_logique dbpedia-fr:Programmation_par_contraintes Defeasible reasoning dbpedia-fr:Représentation_des_connaissances dbpedia-fr:Revue_scientifique dbpedia-fr:Rédacteur_en_chef Rewriting Satisfiability dbpedia-fr:Science_Citation_Index dbpedia-fr:Scopus_(Elsevier) dbpedia-fr:Système_temps_réel dbpedia-fr:Sécurité_des_systèmes_d'information dbpedia-fr:Sémantique_des_langages_de_programmation dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Théorie_des_bases_de_données dbpedia-fr:Théorie_des_domaines dbpedia-fr:Théorie_des_modèles_finis dbpedia-fr:Théorie_des_types Aarhus University Zentralblatt MATH Peer review dbpedia-fr:Mathematical_Reviews
Link from a Wikipage to an external page	https://lmcs.episciences.org http://www.lmcs-online.org/ https://lmcs.episciences.org/browse/regularissues https://www.bioxbio.com/journal/LOG-METH-COMPUT-SCI
page length (characters) of wiki page	5163 (xsd:nonNegativeInteger)
dct:subject	category-fr:Revue_d'informatique_en_libre_accès category-fr:Revue_scientifique_en_anglais category-fr:Titre_de_presse_créé_en_2005
foaf:homepage	http://www.lmcs-online.org/
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Citation_étrangère dbpedia-fr:Modèle:Début_de_colonnes dbpedia-fr:Modèle:Fin_de_colonnes dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Site_officiel dbpedia-fr:Modèle:Infobox_Revue
prov:wasDerivedFrom	wikipedia-fr:Logical_Methods_in_Computer_Science?oldid=184071685&ns=0
prop-fr:langue	anglais (fr)
prop-fr:oclc	897996717 (xsd:integer)
prop-fr:période	2005 (xsd:integer)
prop-fr:siteWeb	http://www.lmcs-online.org/ https://lmcs.episciences.org/browse/regularissues
prop-fr:titre	Logical Methods in Computer Science (fr)
prop-fr:discipline	Theoretical computer science
prop-fr:maison	Logical Methods in Computer Science e.V. (fr)
prop-fr:fréquence	trimestriel (fr)
prop-fr:accèsOuvert	oui (fr)
prop-fr:eissn	1860 (xsd:integer)
prop-fr:wikidata	Q13644986 (fr)
prop-fr:abréviation	Log. Methods Comput. Sci. (fr)
prop-fr:annéeImpact	2016 (xsd:integer)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 17 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software