Search Results for Complexity.

Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Yazar

Larsen, Kim Guldstrand. editor.

http://dx.doi.org/10.1007/978-3-319-45994-3

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.

Yazar

Potapov, Igor. editor.

http://dx.doi.org/10.1007/978-3-319-21500-6

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

Yazar

Hague, Matthew. editor.

https://doi.org/10.1007/978-3-319-67089-8

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market

Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings

Yazar

Bojańczyk, Mikołaj. editor.

http://dx.doi.org/10.1007/978-3-319-24537-9

Format:

Electronic Resources

Alıntı:

undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps and

Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

Yazar

Potapov, Igor. editor.

https://doi.org/10.1007/978-3-030-00250-3

Format:

Electronic Resources

Alıntı:

hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

Yazar

Ouaknine, Joël. editor.

http://dx.doi.org/10.1007/978-3-319-11439-2

Format:

Electronic Resources

Alıntı:

Complexity Bounds for Ordinal-Based Termination -- On The Complexity of Bounded Time Reachability

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Yazar

Filiot, Emmanuel. editor.

https://doi.org/10.1007/978-3-030-30806-3

Format:

Electronic Resources

Alıntı:

addition systems with resets -- Synthesis of structurally restricted b-bounded Petri nets: complexity

	{displayName}	{count}
{error}