About: ACM Transactions on Computational Logic

An Entity of Type: periodical literature, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

ACM Transactions on Computational Logic (ACM TOCL) is a scientific journal that aims to disseminate the latest findings of note in the field of logic in computer science. It is published by the Association for Computing Machinery, a premier scientific and educational society on computer science and computational technology in the United States. The editor-in-chief is Anuj Dawar (University of Cambridge). According to the Journal Citation Reports, the journal had a 2020 impact factor of 0.625.

Property	Value
dbo:abbreviation	ACM Trans. Comput. Log.
dbo:abstract	ACM Transactions on Computational Logic (ACM TOCL) is a scientific journal that aims to disseminate the latest findings of note in the field of logic in computer science. It is published by the Association for Computing Machinery, a premier scientific and educational society on computer science and computational technology in the United States. The editor-in-chief is Anuj Dawar (University of Cambridge). According to the Journal Citation Reports, the journal had a 2020 impact factor of 0.625. (en) ACM Transactions on Computational Logic (abrégé en TOCL) est une revue scientifique trimestrielle à comité de lecture dans le domaine de la (en) ; elle est publiée par l'Association for Computing Machinery depuis 2000. (fr)
dbo:academicDiscipline	dbr:Computational_logic
dbo:firstPublicationYear	2000-01-01 (xsd:gYear)
dbo:frequencyOfPublication	Quarterly
dbo:impactFactor	0.625000 (xsd:double)
dbo:impactFactorAsOf	2020-01-01 (xsd:gYear)
dbo:issn	1529-3785 1557-945X
dbo:publisher	dbr:Association_for_Computing_Machinery
dbo:wikiPageExternalLink	http://tocl.acm.org/ http://portal.acm.org/tocl http://portal.acm.org/tocl/archive
dbo:wikiPageID	24282442 (xsd:integer)
dbo:wikiPageLength	1906 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1097663845 (xsd:integer)
dbo:wikiPageWikiLink	dbr:University_of_Cambridge dbr:Computational_logic dbr:Journal_Citation_Reports dbr:Logic_in_computer_science dbr:Editor-in-chief dbr:Association_for_Computing_Machinery dbr:ACM_SIGLOG dbc:Association_for_Computing_Machinery_academic_journals dbc:Computer_science_journals dbc:Logic_in_computer_science dbr:Special_Interest_Group dbr:Impact_factor
dbp:abbreviation	ACM Trans. Comput. Log. (en)
dbp:country	United States (en)
dbp:discipline	dbr:Computational_logic
dbp:editor	Anuj Dawar (en)
dbp:eissn	1557 (xsd:integer)
dbp:frequency	Quarterly (en)
dbp:history	2000 (xsd:integer)
dbp:impact	0.625000 (xsd:double)
dbp:impactYear	2020 (xsd:integer)
dbp:issn	1529 (xsd:integer)
dbp:link	http://portal.acm.org/tocl http://portal.acm.org/tocl/archive
dbp:link1Name	Online access (en)
dbp:link2Name	Online archive (en)
dbp:publisher	dbr:Association_for_Computing_Machinery
dbp:title	ACM Transactions on Computational Logic (en)
dbp:website	http://tocl.acm.org/
dbp:wikiPageUsesTemplate	dbt:Infobox_journal dbt:Reflist
dcterms:subject	dbc:Association_for_Computing_Machinery_academic_journals dbc:Computer_science_journals dbc:Logic_in_computer_science
gold:hypernym	dbr:Journal
rdf:type	owl:Thing schema:CreativeWork dbo:PeriodicalLiterature dbo:Work wikidata:Q1092563 wikidata:Q234460 wikidata:Q386724 yago:WikicatComputerScienceJournals yago:Artifact100021939 yago:Creation103129123 yago:Object100002684 yago:Periodical106593296 yago:PhysicalEntity100001930 yago:Product104007894 yago:Publication106589574 yago:Work104599396 dbo:AcademicJournal dbo:WrittenWork yago:Whole100003553
rdfs:comment	ACM Transactions on Computational Logic (ACM TOCL) is a scientific journal that aims to disseminate the latest findings of note in the field of logic in computer science. It is published by the Association for Computing Machinery, a premier scientific and educational society on computer science and computational technology in the United States. The editor-in-chief is Anuj Dawar (University of Cambridge). According to the Journal Citation Reports, the journal had a 2020 impact factor of 0.625. (en) ACM Transactions on Computational Logic (abrégé en TOCL) est une revue scientifique trimestrielle à comité de lecture dans le domaine de la (en) ; elle est publiée par l'Association for Computing Machinery depuis 2000. (fr)
rdfs:label	ACM Transactions on Computational Logic (en) ACM Transactions on Computational Logic (fr)
owl:sameAs	freebase:ACM Transactions on Computational Logic yago-res:ACM Transactions on Computational Logic wikidata:ACM Transactions on Computational Logic dbpedia-fr:ACM Transactions on Computational Logic https://global.dbpedia.org/id/4K2r5
prov:wasDerivedFrom	wikipedia-en:ACM_Transactions_on_Computational_Logic?oldid=1097663845&ns=0
foaf:homepage	http://tocl.acm.org/
foaf:isPrimaryTopicOf	wikipedia-en:ACM_Transactions_on_Computational_Logic
foaf:name	ACM Transactions on Computational Logic (en)
is dbo:wikiPageRedirects of	dbr:ACM_Trans._Comput._Log. dbr:ACM_Trans_Comput_Log dbr:ACM_TOCL
is dbo:wikiPageWikiLink of	dbr:List_of_computer_science_journals dbr:Vladimir_Lifschitz dbr:Symposium_on_Logic_in_Computer_Science dbr:Orna_Kupferman dbr:Calculus_of_structures dbr:Computational_logic dbr:Krzysztof_R._Apt dbr:Admissible_rule dbr:ACM_Trans._Comput._Log. dbr:ACM_Trans_Comput_Log dbr:Association_for_Computing_Machinery dbr:ACM_SIGLOG dbr:LOOP_(programming_language) dbr:ACM_TOCL
is foaf:primaryTopic of	wikipedia-en:ACM_Transactions_on_Computational_Logic