Search Results for Complexity.

13 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Computational Complexity of Solving Equation Systems

Yazar

Broniek, Przemysław. author.

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

Format:

Electronic Resources

Alıntı:

Computational Complexity of Solving Equation Systems Broniek, Przemysław. author.

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

Yazar

de Haan, Ronald. author.

https://doi.org/10.1007/978-3-662-60670-4

Format:

Electronic Resources

Alıntı:

Parameterized Complexity in the Polynomial Hierarchy Extending Parameterized Complexity Theory to

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Yazar

Baltag, Alexandru. editor.

https://doi.org/10.1007/978-3-662-55665-8

Format:

Electronic Resources

Alıntı:

Computational complexity.

Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers

Yazar

Colinet, Margot. editor.

http://dx.doi.org/10.1007/978-3-662-44116-9

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity.

Introduction to Discrete Mathematics via Logic and Proof

Yazar

Jongsma, Calvin. author.

https://doi.org/10.1007/978-3-030-25358-5

Format:

Electronic Resources

Alıntı:

. Chapters are helpfully organized so that, as they escalate in complexity, their underlying connections are

Logic Functions and Equations Binary Models for Computer Science

Yazar

Posthoff, Christian. author.

https://doi.org/10.1007/978-3-030-02420-8

Format:

Electronic Resources

Alıntı:

across binary arithmetic, coding, complexity, logic design, programming, computer architecture, and

Logical Foundations of Cyber-Physical Systems

Yazar

Platzer, André. author.

https://doi.org/10.1007/978-3-319-63588-0

Format:

Electronic Resources

Alıntı:

rigorously about CPS models; leverage multi-dynamical systems compositionality to tame CPS complexity

The Incomputable Journeys Beyond the Turing Barrier

Yazar

Cooper, S. Barry. editor.

https://doi.org/10.1007/978-3-319-43669-2

Format:

Electronic Resources

Alıntı:

IV, The Nature of Information: Complexity and Randomness -- Complexity Barriers as Independence

Constructivity and Computability in Historical and Philosophical Perspective

Yazar

Dubucs, Jacques. editor.

http://dx.doi.org/10.1007/978-94-017-9217-2

Format:

Electronic Resources

Alıntı:

complexity, and resolving the dissonances between proof theoretical semantics and canonical proof feasibility

10.

Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Yazar

Dowek, Gilles. editor.

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

Format:

Electronic Resources

Alıntı:

Complexity Analysis Based on Context-Sensitive Rewriting -- Amortised Resource Analysis and Typed Polynomial

11.

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

Yazar

van der Hoek, Wiebe. editor.

http://dx.doi.org/10.1007/978-3-662-48561-3

Format:

Electronic Resources

Alıntı:

Updates on algebras -- On the Complexity of Input/Output Logic -- Translating a Counterpart Theory into a

12.

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

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

Format:

Electronic Resources

Alıntı:

complexity of digital systems grow, and they must work in the presence of uncertainty in the physical world

	{displayName}	{count}
{error}