Search Results for Algebras, Linear.

59 sonuç bulundu

Tümünü Seç

1 2 3 4 5

00000000000DEFAULTTR

49.

Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday

Yazar

Casadio, Claudia. editor.

http://dx.doi.org/10.1007/978-3-642-54789-8

Format:

Electronic Resources

Alıntı:

First-Order Linear Logic -- A Categorial Type Logic -- Chasing Diagrams in Cryptography -- The Monotone Lambek

50.

Steinberg Groups for Jordan Pairs

Yazar

Loos, Ottmar. author.

https://doi.org/10.1007/978-1-0716-0264-5

Format:

Electronic Resources

Alıntı:

Non-associative Rings and Algebras. https://scigraph.springernature.com/ontologies/product-market

51.

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

Yazar

Han, Yo-Sub. editor.

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

Format:

Electronic Resources

Alıntı:

Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L -- Kuratowski Algebras Generated by

52.

An Introduction to Quantum and Vassiliev Knot Invariants

Yazar

Jackson, David M. author.

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

Format:

Electronic Resources

Alıntı:

Non-associative Rings and Algebras. https://scigraph.springernature.com/ontologies/product-market

53.

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Yazar

Bojańczyk, Mikołaj. editor.

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

Format:

Electronic Resources

Alıntı:

-- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic

54.

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Yazar

Diaz, Josep. editor.

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

Format:

Electronic Resources

Alıntı:

Iteration-Free Coalgebraic Dynamic Logics -- Quantitative Types for the Linear Substitution Calculus -- Generic

55.

Analysis and Operator Theory Dedicated in Memory of Tosio Kato’s 100th Birthday

Yazar

Rassias, Themistocles M. editor.

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

Format:

Electronic Resources

Alıntı:

Conservative KMS Weights on Graph C*-Algebras (Klaus Thomsen) -- Trotter-Kato Product Formulae in Dixmier Ideal

56.

Ulam Type Stability

Yazar

Brzdęk, Janusz. editor.

https://doi.org/10.1007/978-3-030-28972-0

Format:

Electronic Resources

Alıntı:

uniformizable spaces -- Symmetry of Birkhoff-James orthogonality of bounded linear operators -- Ulam stability

57.

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Yazar

Esparza, Javier. editor.

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

Format:

Electronic Resources

Alıntı:

-- Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences -- Going Higher in the First-Order

58.

Frontiers in Functional Equations and Analytic Inequalities

Yazar

Anastassiou, George A. editor.

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

Format:

Electronic Resources

Alıntı:

Stabilities of Linear Di erential Equations -- A class of functional equations of type d’Alembert on monoids

59.

Geometric Methods in Physics XXXVI Workshop and Summer School, Białowieża, Poland, 2017

Yazar

Kielanowski, Piotr. editor.

https://doi.org/10.1007/978-3-030-01156-7

Format:

Electronic Resources

Alıntı:

-- Kepler Problem and Jordan Algebras -- On Rank Two Algebro-Geometric Solutions of an Integrable Chain

Tümünü Seç

1 2 3 4 5

59 sonuç bulundu

	{displayName}	{count}
{error}