Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Symposium on Logic in Computer Science
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
ACM/IEEE annual conference series on logic in computer science
Property
Value
dbo:
description
ACM/IEEE annual conference series on logic in computer science
(en)
conférence annuelle sur la logique informatique
(fr)
dbo:
wikiPageExternalLink
http://lics.siglog.org/
dbo:
wikiPageWikiLink
dbr
:Samson_Abramsky
dbr
:Guy_McCusker
dbr
:Cédric_Fournet
dbr
:André_Joyal
dbr
:Thomas_Henzinger
dbr
:Dexter_Kozen
dbc
:Logic_in_computer_science
dbr
:Benjamin_C._Pierce
dbr
:List_of_computer_science_conferences
dbr
:Georges_Gonthier
dbr
:Martin_Hofmann
dbr
:Davide_Sangiorgi
dbr
:Alvy_Ray_Smith
dbc
:Logic_conferences
dbr
:Eugenio_Moggi
dbr
:Martín_Abadi
dbr
:Rajeev_Alur
dbr
:Computer_science
dbr
:E._Allen_Emerson
dbr
:Harald_Ganzinger
dbr
:Joseph_Sifakis
dbr
:Leslie_Lamport
dbc
:IEEE_conferences
dbr
:Stephen_Cole_Kleene
dbr
:Mathematical_logic
dbr
:Robert_Harper_(computer_scientist)
dbr
:Abbas_Edalat
dbr
:Academic_conference
dbr
:Pierre_Wolper
dbc
:Theoretical_computer_science_conferences
dbr
:Furio_Honsell
dbr
:ACM_Transactions_on_Computational_Logic
dbr
:Logic_in_computer_science
dbr
:Prakash_Panangaden
dbr
:David_L._Dill
dbr
:Frank_Pfenning
dbr
:Logical_Methods_in_Computer_Science
dbr
:Nachum_Dershowitz
dbr
:Kenneth_L._McMillan
dbr
:Thomas_Streicher
dbr
:ACM_SIGLOG
dbr
:Igor_Walukiewicz
dbr
:Edmund_Clarke
dbr
:Peter_Freyd
dbr
:Moshe_Y._Vardi
dbr
:IEEE
dbr
:Hongwei_Xi
dbr
:Kleene_award
dbr
:Andrew_M._Pitts
dbr
:Dale_A._Miller
dbr
:Martin_Abadi
dbr
:Thomas_A._Henzinger
dbr
:Gordon_D._Plotkin
dbr
:Leo_Bachmair
dbr
:Jean-Pierre_Talpin
dbr
:Aaron_Stump;
dbr
:Bengt_Jonsson_(computer_scientist)
dbr
:Chin-Laung_Lei
dbr
:Clark_W._Barrett
dbr
:Costas_Courcoubetis
dbr
:Daniele_Turi
dbr
:Glynn_Winskel
dbr
:Hiroshi_Nakano_(computer_scientist)
dbr
:Iliano_Cervesato
dbr
:James_Hwang
dbr
:Jeremy_R._Levitt
dbr
:Jerry_R._Burch
dbr
:Jieh_Hsiang
dbr
:Joshua_Hodas
dbr
:Josée_Desharnais
dbr
:Karlis_Cerans
dbr
:Kohei_Honda
dbr
:Luca_de_Alfaro
dbr
:Marcelo_P._Fiore
dbr
:Max_Dauchet
dbr
:Mogens_Nielson
dbr
:Murdoch_Gabbay
dbr
:Parosh_A._Abdulla
dbr
:Patrice_Godefroid
dbr
:Pierre_Jouvelot
dbr
:Richard_Blute
dbr
:Sergio_Yovine
dbr
:Sophie_Tison
dbr
:Uwe_Waldmann
dbr
:Xavier_Nicollin
dbr
:Yih-Kuen_Tsay
dbp:
wikiPageUsesTemplate
dbt
:Authority_control
dbt
:Reflist
dbt
:Hatnote
dbt
:More_citations_needed
dbt
:Ill
dbt
:IEEE_conferences
dct:
subject
dbc
:Logic_in_computer_science
dbc
:Logic_conferences
dbc
:IEEE_conferences
dbc
:Theoretical_computer_science_conferences
gold:
hypernym
dbr
:Conference
rdfs:
label
Symposium on Logic in Computer Science
(en)
ACM-IEEE Symposium on Logic in Computer Science
(fr)
Lógica em ciência da computação
(pt)
owl:
sameAs
freebase
:Symposium on Logic in Computer Science
yago-res
:Symposium on Logic in Computer Science
wikidata
:Symposium on Logic in Computer Science
dbpedia-fr
:Symposium on Logic in Computer Science
dbpedia-pt
:Symposium on Logic in Computer Science
http://d-nb.info/gnd/1091911452
http://d-nb.info/gnd/290349-0
http://viaf.org/viaf/150718461
dbpedia-global
:Symposium on Logic in Computer Science
dbr
:Symposium on Logic in Computer Science
prov:
wasDerivedFrom
wikipedia-en
:Symposium_on_Logic_in_Computer_Science?oldid=1253931648&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Symposium_on_Logic_in_Computer_Science
is
dbo:
academicDiscipline
of
dbr
:Phokion_G._Kolaitis
dbr
:Ronald_Fagin
is
dbo:
wikiPageRedirects
of
dbr
:LICS_(conference)
dbr
:Logic_in_Computer_Science
dbr
:Logic_in_Computer_Science
dbr
:LICS_(symposium)
dbr
:IEEE_Symposium_on_Logic_in_Computer_Science
dbr
:Logic_in_Computer_Science_(IEEE_symposium)
is
dbo:
wikiPageWikiLink
of
dbr
:Dexter_Kozen
dbr
:List_of_computer_science_conferences
dbr
:List_of_computer_science_conference_acronyms
dbr
:Theoretical_computer_science
dbr
:LICS_(conference)
dbr
:Stephen_Cole_Kleene
dbr
:Vienna_Summer_of_Logic
dbr
:List_of_IEEE_conferences
dbr
:Computer_Aided_Verification
dbr
:Benjamin_Rossman
dbr
:Prakash_Panangaden
dbr
:Logic_in_Computer_Science
dbr
:ACM_SIGLOG
dbr
:List_of_computer_science_awards
dbr
:LICS_(symposium)
dbr
:Dis-unification_(computer_science)
dbr
:IEEE_Symposium_on_Logic_in_Computer_Science
dbr
:Logic_in_Computer_Science_(IEEE_symposium)
is
dbp:
field
of
dbr
:Phokion_G._Kolaitis
dbr
:Ronald_Fagin
is
foaf:
primaryTopic
of
wikipedia-en
:Symposium_on_Logic_in_Computer_Science
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International