Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Symposium_on_Logic_in_Computer_Science> ?p ?o }
Showing triples 1 to 75 of
75
with 100 triples per page.
- Symposium_on_Logic_in_Computer_Science abstract "The ACM–IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended versions of selected papers of each year's conference appear in renowned international journals such as Logical Methods in Computer Science and ACM Transactions on Computational Logic.".
- Symposium_on_Logic_in_Computer_Science wikiPageExternalLink lics.rwth-aachen.de.
- Symposium_on_Logic_in_Computer_Science wikiPageID "6543509".
- Symposium_on_Logic_in_Computer_Science wikiPageLength "4027".
- Symposium_on_Logic_in_Computer_Science wikiPageOutDegree "53".
- Symposium_on_Logic_in_Computer_Science wikiPageRevisionID "697939954".
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink ACM_SIGLOG.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink ACM_Transactions_on_Computational_Logic.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Academic_conference.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Alvy_Ray_Smith.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink André_Joyal.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Benjamin_C._Pierce.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Category:IEEE_conferences.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Category:Logic_conferences.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Category:Logic_in_computer_science.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Category:Theoretical_computer_science_conferences.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Computer_science.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Costas_Courcoubetis.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Dale_A._Miller.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink David_L._Dill.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Davide_Sangiorgi.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Dexter_Kozen.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Edmund_M._Clarke.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Eugenio_Moggi.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Glynn_Winskel.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Harald_Ganzinger.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Institute_of_Electrical_and_Electronics_Engineers.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink James_Hwang.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Jean-Pierre_Talpin.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Jerry_R._Burch.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Joseph_Sifakis.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Joshua_Hodas.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Kenneth_L._McMillan.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Kleene_award.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Leo_Bachmair.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Leslie_Lamport.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink List_of_computer_science_conferences.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Logic_in_computer_science.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Logical_Methods_in_Computer_Science.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Martin_Hofmann.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Martín_Abadi.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Mathematical_logic.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Max_Dauchet.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Mogens_Nielson.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Patrice_Godefroid.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Peter_J._Freyd.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Pierre_Jouvelot.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Pierre_Wolper.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Rajeev_Alur.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Samson_Abramsky.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Sergio_Yovine.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Sophie_Tison.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Stephen_Cole_Kleene.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Thomas_Henzinger.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Thomas_Streicher.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Uwe_Waldmann.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Xavier_Nicollin.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLinkText "Symposium on Logic in Computer Science".
- Symposium_on_Logic_in_Computer_Science wikiPageUsesTemplate Template:Comp-sci-stub.
- Symposium_on_Logic_in_Computer_Science wikiPageUsesTemplate Template:Dablink.
- Symposium_on_Logic_in_Computer_Science wikiPageUsesTemplate Template:Reflist.
- Symposium_on_Logic_in_Computer_Science subject Category:IEEE_conferences.
- Symposium_on_Logic_in_Computer_Science subject Category:Logic_conferences.
- Symposium_on_Logic_in_Computer_Science subject Category:Logic_in_computer_science.
- Symposium_on_Logic_in_Computer_Science subject Category:Theoretical_computer_science_conferences.
- Symposium_on_Logic_in_Computer_Science hypernym Conference.
- Symposium_on_Logic_in_Computer_Science type SocietalEvent.
- Symposium_on_Logic_in_Computer_Science comment "The ACM–IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended versions of selected papers of each year's conference appear in renowned international journals such as Logical Methods in Computer Science and ACM Transactions on Computational Logic.".
- Symposium_on_Logic_in_Computer_Science label "Symposium on Logic in Computer Science".
- Symposium_on_Logic_in_Computer_Science sameAs Q5970489.
- Symposium_on_Logic_in_Computer_Science sameAs Lógica_em_ciência_da_computação.
- Symposium_on_Logic_in_Computer_Science sameAs m.0g9mxm.
- Symposium_on_Logic_in_Computer_Science sameAs Q5970489.
- Symposium_on_Logic_in_Computer_Science wasDerivedFrom Symposium_on_Logic_in_Computer_Science?oldid=697939954.
- Symposium_on_Logic_in_Computer_Science isPrimaryTopicOf Symposium_on_Logic_in_Computer_Science.