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.

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. (en)
dbo:academicDiscipline
dbo:editor
dbo:firstPublicationYear
  • 2000-01-01 (xsd:date)
dbo:frequencyOfPublication
  • Quarterly
dbo:issn
  • 1529-3785
  • 1557-945X
dbo:publisher
dbo:wikiPageEditLink
dbo:wikiPageExternalLink
dbo:wikiPageExtracted
  • 2019-06-07 04:48:39Z (xsd:date)
dbo:wikiPageHistoryLink
dbo:wikiPageID
  • 24282442 (xsd:integer)
dbo:wikiPageLength
  • 1341 (xsd:integer)
dbo:wikiPageModified
  • 2019-05-13 21:55:45Z (xsd:date)
dbo:wikiPageOutDegree
  • 10 (xsd:integer)
dbo:wikiPageRevisionID
  • 896957043 (xsd:integer)
dbo:wikiPageRevisionLink
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
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. (en)
rdfs:label
  • ACM Transactions on Computational Logic (en)
owl:sameAs
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • ACM Transactions on Computational Logic (en)
is foaf:primaryTopic of