Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Workshop_on_Reachability_Problems> ?p ?o }
Showing triples 1 to 60 of
60
with 100 triples per page.
- Workshop_on_Reachability_Problems abstract "RP, the International Workshop on Reachability Problems is an annual academic conference in thefield of computer science.The Reachability Workshop is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in Algebraic structures Computational models Hybrid systems Logic and Formal verificationTopics of interest include (but are not limited to): Reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems; reachability problems in logic and verification; reachability analysis in different computational models, counter timed/ cellular/ communicating automata; Petri-Nets; computational aspects of algebraic structures (semigroups, groups and rings); frontiers between decidable and undecidable reachability problems; predictability in iterative maps and new computational paradigms.".
- Workshop_on_Reachability_Problems academicDiscipline Algebraic_structure.
- Workshop_on_Reachability_Problems academicDiscipline Automata_theory.
- Workshop_on_Reachability_Problems academicDiscipline Computational_model.
- Workshop_on_Reachability_Problems academicDiscipline Logic.
- Workshop_on_Reachability_Problems academicDiscipline Verification.
- Workshop_on_Reachability_Problems frequencyOfPublication "annual".
- Workshop_on_Reachability_Problems publisher Lecture_Notes_in_Computer_Science.
- Workshop_on_Reachability_Problems publisher Springer_Science+Business_Media.
- Workshop_on_Reachability_Problems wikiPageExternalLink rp2015.mimuw.edu.pl.
- Workshop_on_Reachability_Problems wikiPageExternalLink RP2013.
- Workshop_on_Reachability_Problems wikiPageExternalLink RP2014.
- Workshop_on_Reachability_Problems wikiPageID "38878021".
- Workshop_on_Reachability_Problems wikiPageLength "3250".
- Workshop_on_Reachability_Problems wikiPageOutDegree "18".
- Workshop_on_Reachability_Problems wikiPageRevisionID "675183952".
- Workshop_on_Reachability_Problems wikiPageWikiLink Academic_conference.
- Workshop_on_Reachability_Problems wikiPageWikiLink Algebraic_structure.
- Workshop_on_Reachability_Problems wikiPageWikiLink Automata_theory.
- Workshop_on_Reachability_Problems wikiPageWikiLink Category:Theory_of_computation.
- Workshop_on_Reachability_Problems wikiPageWikiLink Computational_model.
- Workshop_on_Reachability_Problems wikiPageWikiLink Computer_science.
- Workshop_on_Reachability_Problems wikiPageWikiLink Formal_verification.
- Workshop_on_Reachability_Problems wikiPageWikiLink Hybrid_system.
- Workshop_on_Reachability_Problems wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Workshop_on_Reachability_Problems wikiPageWikiLink Logic.
- Workshop_on_Reachability_Problems wikiPageWikiLink Petri_net.
- Workshop_on_Reachability_Problems wikiPageWikiLink Reachability_problem.
- Workshop_on_Reachability_Problems wikiPageWikiLink Rewriting.
- Workshop_on_Reachability_Problems wikiPageWikiLink Springer_Science+Business_Media.
- Workshop_on_Reachability_Problems wikiPageWikiLink Verification.
- Workshop_on_Reachability_Problems wikiPageWikiLinkText "Workshop on Reachability Problems".
- Workshop_on_Reachability_Problems abbreviation "RP".
- Workshop_on_Reachability_Problems country "International".
- Workshop_on_Reachability_Problems discipline "Automata theory, Algebraic structures, logic, verification, computational models".
- Workshop_on_Reachability_Problems frequency "annual".
- Workshop_on_Reachability_Problems history "2007".
- Workshop_on_Reachability_Problems publisher Lecture_Notes_in_Computer_Science.
- Workshop_on_Reachability_Problems publisher Springer_Science+Business_Media.
- Workshop_on_Reachability_Problems wikiPageUsesTemplate Template:Infobox_Academic_Conference.
- Workshop_on_Reachability_Problems wikiPageUsesTemplate Template:Reflist.
- Workshop_on_Reachability_Problems subject Category:Theory_of_computation.
- Workshop_on_Reachability_Problems hypernym Conference.
- Workshop_on_Reachability_Problems type AcademicConference.
- Workshop_on_Reachability_Problems type Area.
- Workshop_on_Reachability_Problems type Event.
- Workshop_on_Reachability_Problems type SocietalEvent.
- Workshop_on_Reachability_Problems type Event.
- Workshop_on_Reachability_Problems type Area.
- Workshop_on_Reachability_Problems type Event.
- Workshop_on_Reachability_Problems type Thing.
- Workshop_on_Reachability_Problems type Q1656682.
- Workshop_on_Reachability_Problems comment "RP, the International Workshop on Reachability Problems is an annual academic conference in thefield of computer science.The Reachability Workshop is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in Algebraic structures Computational models Hybrid systems Logic and Formal verificationTopics of interest include (but are not limited to): Reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems; reachability problems in logic and verification; reachability analysis in different computational models, counter timed/ cellular/ communicating automata; Petri-Nets; computational aspects of algebraic structures (semigroups, groups and rings); frontiers between decidable and undecidable reachability problems; predictability in iterative maps and new computational paradigms.".
- Workshop_on_Reachability_Problems label "Workshop on Reachability Problems".
- Workshop_on_Reachability_Problems sameAs Q17141558.
- Workshop_on_Reachability_Problems sameAs m.0ryvlr4.
- Workshop_on_Reachability_Problems sameAs Q17141558.
- Workshop_on_Reachability_Problems wasDerivedFrom Workshop_on_Reachability_Problems?oldid=675183952.
- Workshop_on_Reachability_Problems isPrimaryTopicOf Workshop_on_Reachability_Problems.
- Workshop_on_Reachability_Problems name "RP".