Symposium on Logic in Computer Science

ACM/IEEE annual conference series on logic in computer science
rdfs:label
"Symposium on Logic in Computer Science"@en
skos:altLabel
"LiCS"@en
"Logic in Computer Science"@en
schema:description
"ACM/IEEE annual conference series on logic in computer science"@en
schema:dateModified "2024-02-16T06:25:00+00:00"^^xsd:dateTime
schema:version 2078574449
wikibase:identifiers 7
wikibase:sitelinks 3
wikibase:statements 17
p:P126 wd:statement/Q5970489-3ebe6705-4a08-b1d0-1ed4-03b15a06b116
wd:statement/Q5970489-e8c15a0d-46f2-634c-1fa1-3ab81f42663a
p:P1476 wd:statement/Q5970489-D312D49B-0784-485F-9247-B3E47D1E35A8
p:P1813 wd:statement/Q5970489-39a7c536-48c5-3a3f-1fae-1ebb468b7e85
p:P214 wd:statement/Q5970489-F7DE2A14-2787-4BA5-983D-2309CCC4F835
p:P2699 wd:statement/Q5970489-998e36c2-4beb-ec2d-974e-8cb0efca1f39
wd:statement/Q5970489-ccd1f094-4fc4-d897-ec33-ce6959995c46
p:P31 wd:statement/Q5970489-8ec031ff-4734-a326-3266-7a4a4ee52265
p:P5127 wd:statement/Q5970489-0280611c-4b72-50ef-f58b-90cf3a313de4
p:P571 wd:statement/Q5970489-9e309f30-4f2f-8cd6-0814-89ca05aa3b6e
p:P6366 wd:statement/Q5970489-B108732F-0F03-48B1-9D75-F9E4B201C9C8
p:P646 wd:statement/Q5970489-3D1D6C4D-FD16-4B5F-BA48-407DFE88FBC1
p:P7979 wd:statement/Q5970489-1eaff9c9-4f0a-d744-9ac5-ab5f503bced1
p:P8189 wd:statement/Q5970489-886BBA49-8617-4E80-81DA-D6F8F3F15E43
p:P856 wd:statement/Q5970489-f62ebff2-467a-fc5c-7aa9-29b01a66cc91
p:P8926 wd:statement/Q5970489-559f0ea2-4627-f3c7-f687-e68062bfccff
p:P921 wd:statement/Q5970489-2ee6afd4-4423-18e3-1211-4605fb8765bd
p:direct-normalized/P214 <http://viaf.org/viaf/150718461>
p:direct-normalized/P6366 <https://makg.org/entity/1171002971>
wdt:P126 Association for Computing Machinery
Institute of Electrical and Electronics Engineers
wdt:P1476 "Logic in Computer Science"@en
wdt:P1813 "LiCS"@en
wdt:P214 "150718461"
wdt:P2699 <https://ieeexplore.ieee.org/servlet/opac?punumber=1000420>
<https://www.computer.org/csdl/proceedings/1000420>
wdt:P31 academic conference series
wdt:P5127 "1959"
wdt:P571 "1986-01-01T00:00:00+00:00"^^xsd:dateTime
wdt:P6366 "1171002971"
wdt:P646 "/m/0g9mxm"
wdt:P7979 "lics"
wdt:P8189 "987011426807405171"
wdt:P856 <https://lics.siglog.org/>
wdt:P8926 "conf/lics"
wdt:P921 logic in computer science
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata