Yazar
Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Tian, Cong. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
View Other Search Results
Yazar
Hague, Matthew. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Yazar
Herzig, Andreas. editor. (orcid)0000-0003-0833-2782
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product
Yazar
Carayol, Arnaud. editor.
Format:
Electronic Resources
Alıntı:
presented papers include state complexity of automata; implementations of automata and experiments; enhanced
Yazar
Hospodár, Michal. editor.
Format:
Electronic Resources
Alıntı:
-- Descriptional Complexity of Power and Positive Closure on Convex Languages -- Partitioning a Symmetric Rational
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring with
Yazar
Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054
Format:
Electronic Resources
Alıntı:
Frameworks -- Argumentation-based Explanations for Answer Sets using ADF -- Foundations and Complexity
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
SMT Quantifier Instantiations -- On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase
Yazar
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
answering with Ontologies and DBoxes -- Checking the Data Complexity of Ontology-Mediated Queries: a Case
Arama Sonuçlarını Sınırlandır
Daraltılmış: