This HTML5 document contains 101 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n20https://www.irif.fr/~rp2020/
dctermshttp://purl.org/dc/terms/
n17http://rp2015.mimuw.edu.pl/
n25https://sites.uclouvain.be/rp2019/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
n28https://rp2018.lis-lab.fr/
n30https://rp2022.mpi-sws.org/
n6https://global.dbpedia.org/id/
schemahttp://schema.org/
n26https://link.springer.com/book/
n34https://link.springer.com/book/10.1007/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n8http://www.it.uu.se/conf/RP2013/
n31http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n27http://viaf.org/viaf/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n36https://www.cs.ox.ac.uk/RP2014/
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
n15http://rp16.cs.aau.dk/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n24http://d-nb.info/gnd/
n29https://rp2021.csc.liv.ac.uk/
n33http://musicbrainz.org/artist/
n16http://rp17.cs.rhul.ac.uk/

Statements

Subject Item
dbr:List_of_computer_science_conferences
dbo:wikiPageWikiLink
dbr:International_Conference_on_Reachability_Problems
Subject Item
dbr:International_Conference_on_Reachability_Problems
rdf:type
dbo:SocietalEvent wikidata:Q1656682 wikidata:Q2020153 schema:Event owl:Thing dbo:Event n31:Event dbo:AcademicConference
rdfs:label
Royal Pirates رويال بايرتس Royal Pirates 로열 파이럿츠 Royal Pirates International Conference on Reachability Problems
rdfs:comment
로열 파이럿츠는 2013년에 데뷔한 대한민국의 3인조 그룹이다. Royal Pirates(ロイヤルパイレーツ、韓国語: 로열 파이럿츠)は、アメリカ育ちのコリアンボーイズ3名によるバンド。2013年8月26日に一番目シングル「Shout Out」でデビューし、2017年に解散した。 RP, the International Conference on Reachability Problems is an annual academic conference in thefield of computer science. The RP is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in * Algebraic structures * Automata Theory and Formal languages * Concurrency and Distributed computations * Decision Procedures in Computational models * Hybrid systems * Logic and Model checking * Formal verification of Finite and Infinite-state Systems * Algorithmic game theory رويال بايرتس (로열 파이럿츠) هي فرقة روك كورية-أمريكية، ظهرت لأول مرة في عام 2013. الفرقة تتألف من Kim Moon-chul (مغني، قيثاري)، Kim Soo-yoon (طبال)، وJames Lee (قيثاري البيس)، في السابق الفرقة كانت تتكون من أربعة أعضاء والآن تم خروج james lee من الفرقة ودخول kim sooyoon إلى الجيش Royal Pirates (hangeul: 로열 파이럿츠) est un groupe de rock coréano-américain qui a débuté en 2013. Le groupe se constitue de Kim Moon-chul (chant, guitare), EXSY (batterie) et James Lee (guitare basse). 於官方Youtube頻道上傳播送。
foaf:name
RP
dcterms:subject
dbc:Theory_of_computation
dbo:wikiPageID
38878021
dbo:wikiPageRevisionID
1090870202
dbo:wikiPageWikiLink
dbr:Automata_Theory dbr:Reachability_problem dbr:Hybrid_system dbr:Computational_model dbr:Logic dbc:Theory_of_computation dbr:Formal_verification dbr:Petri_net dbr:Lecture_Notes_in_Computer_Science dbr:Springer_Science+Business_Media dbr:Computer_science dbr:Concurrency_(computer_science) dbr:Model_checking dbr:Algorithmic_game_theory dbr:Distributed_computation dbr:Algebraic_structure dbr:Rewriting_system dbr:Formal_language dbr:Automata_theory dbr:Academic_conference
dbo:wikiPageExternalLink
n8: n15: n16: n17: n20: n25: n26:10.1007%2F978-3-030-30806-3 n28: n29: n30: n34:978-3-030-00250-3 n34:978-3-030-61739-4, n34:978-3-030-89716-1, n36:
owl:sameAs
n6:gBPL wikidata:Q105698970 dbpedia-ja:Royal_Pirates dbpedia-ko:로열_파이럿츠 dbpedia-ar:رويال_بايرتس wikidata:Q17141558 dbpedia-fr:Royal_Pirates n24:1092411283 n27:283770873 dbpedia-zh:Royal_Pirates n33:03b8a21f-00da-42fe-a040-d25d846c2701 wikidata:Q7374722
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Infobox_Academic_Conference
dbp:abbreviation
RP
dbp:country
International
dbp:discipline
Automata theory, Algebraic structures, logic, verification, computational models
dbp:frequency
annual
dbp:history
2007
dbp:publisher
dbr:Springer_Science+Business_Media dbr:Lecture_Notes_in_Computer_Science
dbo:abstract
رويال بايرتس (로열 파이럿츠) هي فرقة روك كورية-أمريكية، ظهرت لأول مرة في عام 2013. الفرقة تتألف من Kim Moon-chul (مغني، قيثاري)، Kim Soo-yoon (طبال)، وJames Lee (قيثاري البيس)، في السابق الفرقة كانت تتكون من أربعة أعضاء والآن تم خروج james lee من الفرقة ودخول kim sooyoon إلى الجيش Royal Pirates (hangeul: 로열 파이럿츠) est un groupe de rock coréano-américain qui a débuté en 2013. Le groupe se constitue de Kim Moon-chul (chant, guitare), EXSY (batterie) et James Lee (guitare basse). Royal Pirates(ロイヤルパイレーツ、韓国語: 로열 파이럿츠)は、アメリカ育ちのコリアンボーイズ3名によるバンド。2013年8月26日に一番目シングル「Shout Out」でデビューし、2017年に解散した。 로열 파이럿츠는 2013년에 데뷔한 대한민국의 3인조 그룹이다. 於官方Youtube頻道上傳播送。 RP, the International Conference on Reachability Problems is an annual academic conference in thefield of computer science. The RP is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in * Algebraic structures * Automata Theory and Formal languages * Concurrency and Distributed computations * Decision Procedures in Computational models * Hybrid systems * Logic and Model checking * Formal verification of Finite and Infinite-state Systems * Algorithmic game theory Topics 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.
prov:wasDerivedFrom
wikipedia-en:International_Conference_on_Reachability_Problems?oldid=1090870202&ns=0
dbo:wikiPageLength
4467
dbo:frequencyOfPublication
annual
dbo:academicDiscipline
dbr:Algebraic_structure dbr:Computational_model dbr:Formal_verification dbr:Automata_theory dbr:Logic
dbo:publisher
dbr:Lecture_Notes_in_Computer_Science dbr:Springer_Science+Business_Media
foaf:isPrimaryTopicOf
wikipedia-en:International_Conference_on_Reachability_Problems
Subject Item
dbr:Workshop_on_Reachability_Problems
dbo:wikiPageWikiLink
dbr:International_Conference_on_Reachability_Problems
dbo:wikiPageRedirects
dbr:International_Conference_on_Reachability_Problems
Subject Item
wikipedia-en:International_Conference_on_Reachability_Problems
foaf:primaryTopic
dbr:International_Conference_on_Reachability_Problems