Search Results for Topology.

Directed Algebraic Topology and Concurrency

Yazar

Fajstrup, Lisbeth. author.

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

Format:

Electronic Resources

Alıntı:

Directed Algebraic Topology and Concurrency Fajstrup, Lisbeth. author.

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

Yazar

Skrzypczak, Michał. author.

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

Format:

Electronic Resources

Alıntı:

theory, topology, and automata theory and provides many deep insights into the interplay between these

Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

Yazar

Aranda-Corral, Gonzalo A. editor.

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

Format:

Electronic Resources

Alıntı:

were on one side to bind mathematical domains such as algebraic topology or algebraic geometry to AI

Heyting Algebras Duality Theory

Yazar

Esakia, Leo. author.

https://doi.org/10.1007/978-3-030-12096-2

Format:

Electronic Resources

Alıntı:

a hybrid that “crossbreeds” topology (Stone spaces) and order (Kripke frames), resulting in the

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Yazar

de Paiva, Valeria. editor.

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

Format:

Electronic Resources

Alıntı:

topology, and modal logic -- The Word Problem for Finitely Presented Quandles is Undecidable

Leo Esakia on Duality in Modal and Intuitionistic Logics

Yazar

Bezhanishvili, Guram. editor.

http://dx.doi.org/10.1007/978-94-017-8860-1

Format:

Electronic Resources

Alıntı:

modal diamond as the derivative of a topological space within the setting of point-free topology. The

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings

Yazar

Höfner, Peter. editor.

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

Format:

Electronic Resources

Alıntı:

Approach to General Topology -- A Mechanised Abstract Formalisation of Concept Lattices -- A Sufficient

From Logic to Practice Italian Studies in the Philosophy of Mathematics

Yazar

Lolli, Gabriele. editor.

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

Format:

Electronic Resources

Alıntı:

Venturi -- Chapter 15: An Inquiry Into the Practice of Proving in Low-dimensional Topology; Silvia de

	{displayName}	{count}
{error}