Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Federated_Logic_Conference> ?p ?o }
Showing triples 1 to 43 of
43
with 100 triples per page.
- Federated_Logic_Conference abstract "The Federated Logic Conference (FLoC) is an international conglomeration of several mathematical logic and computer science related academic conferences that deal with the intersection of the two fields. FLoC traditionally includes: Logic in Computer Science (LICS) Rewriting Techniques and Applications (RTA) International Joint Conference on Automated Reasoning (IJCAR) that itself conglomerates Conference on Automated Deduction (CADE), Theorem Proving in Higher-Order Logics (TPHOLs), and Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX).The first FLoC was held in 1996 at DIMACS; subsequently they have been held roughly every four years, and the fourth FLoC was held in August 2006 in Seattle, and merged ICLP and CAV in addition to the above conferences.".
- Federated_Logic_Conference wikiPageExternalLink vsl2014.at.
- Federated_Logic_Conference wikiPageExternalLink FLoC-06.
- Federated_Logic_Conference wikiPageExternalLink www.floc-conference.org.
- Federated_Logic_Conference wikiPageID "6543236".
- Federated_Logic_Conference wikiPageLength "1437".
- Federated_Logic_Conference wikiPageOutDegree "16".
- Federated_Logic_Conference wikiPageRevisionID "580102585".
- Federated_Logic_Conference wikiPageWikiLink Academic_conference.
- Federated_Logic_Conference wikiPageWikiLink Category:International_conferences_in_the_United_States.
- Federated_Logic_Conference wikiPageWikiLink Category:Logic_conferences.
- Federated_Logic_Conference wikiPageWikiLink Category:Theoretical_computer_science_conferences.
- Federated_Logic_Conference wikiPageWikiLink Computer_Aided_Verification.
- Federated_Logic_Conference wikiPageWikiLink Computer_science.
- Federated_Logic_Conference wikiPageWikiLink Conference_on_Automated_Deduction.
- Federated_Logic_Conference wikiPageWikiLink DIMACS.
- Federated_Logic_Conference wikiPageWikiLink Interactive_Theorem_Proving_(conference).
- Federated_Logic_Conference wikiPageWikiLink International_Conference_on_Automated_Reasoning_with_Analytic_Tableaux_and_Related_Methods.
- Federated_Logic_Conference wikiPageWikiLink International_Conference_on_Logic_Programming.
- Federated_Logic_Conference wikiPageWikiLink International_Conference_on_Rewriting_Techniques_and_Applications.
- Federated_Logic_Conference wikiPageWikiLink International_Joint_Conference_on_Automated_Reasoning.
- Federated_Logic_Conference wikiPageWikiLink Mathematical_logic.
- Federated_Logic_Conference wikiPageWikiLink Seattle.
- Federated_Logic_Conference wikiPageWikiLink Symposium_on_Logic_in_Computer_Science.
- Federated_Logic_Conference wikiPageWikiLinkText "FLoC".
- Federated_Logic_Conference wikiPageWikiLinkText "Federated Logic Conference (FLoC)".
- Federated_Logic_Conference wikiPageWikiLinkText "Federated Logic Conference".
- Federated_Logic_Conference wikiPageUsesTemplate Template:Compu-conference-stub.
- Federated_Logic_Conference wikiPageUsesTemplate Template:Multiple_issues.
- Federated_Logic_Conference wikiPageUsesTemplate Template:Notability.
- Federated_Logic_Conference wikiPageUsesTemplate Template:Primary_sources.
- Federated_Logic_Conference subject Category:International_conferences_in_the_United_States.
- Federated_Logic_Conference subject Category:Logic_conferences.
- Federated_Logic_Conference subject Category:Theoretical_computer_science_conferences.
- Federated_Logic_Conference hypernym Conglomeration.
- Federated_Logic_Conference type Settlement.
- Federated_Logic_Conference comment "The Federated Logic Conference (FLoC) is an international conglomeration of several mathematical logic and computer science related academic conferences that deal with the intersection of the two fields.".
- Federated_Logic_Conference label "Federated Logic Conference".
- Federated_Logic_Conference sameAs Q5440687.
- Federated_Logic_Conference sameAs m.0g9mqm.
- Federated_Logic_Conference sameAs Q5440687.
- Federated_Logic_Conference wasDerivedFrom Federated_Logic_Conference?oldid=580102585.
- Federated_Logic_Conference isPrimaryTopicOf Federated_Logic_Conference.