Rezultaty - "Noetherian"
Podobne hasła w twoim wyszukiwaniu.
Podobne hasła w twoim wyszukiwaniu.
-
1
-
2
Progress in Commutative Algebra 2 Closures, Finiteness and Factorization
Wydane 2012DOAB: download the publication
DOAB: description of the publication
Elektroniczne Rozdział -
3
Progress in Commutative Algebra 2. Closures, Finiteness and Factorization
Wydane 2012DOAB: download the publication
DOAB: description of the publication
Elektroniczne Rozdział -
4
-
5
Progress in Commutative Algebra 1. Combinatorics and Homology
Wydane 2012DOAB: download the publication
DOAB: description of the publication
Elektroniczne Rozdział -
6
Progress in Commutative Algebra 1 Combinatorics and Homology
Wydane 2012DOAB: download the publication
DOAB: description of the publication
Elektroniczne Rozdział -
7
Progress in Commutative Algebra 1 Combinatorics and Homology
Wydane 2012OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroniczne Rozdział -
8
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Wydane 2023Spis treści: “…Forward Bisimilarity -- Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains -- Weighted and Branching Bisimilarities from Generalized Open Maps -- Preservation and Reflection of Bisimilarity via Invertible Steps -- QuantitativeSafety and Liveness -- On the Comparison of Discounted-Sum Automata with Multiple Discount Factors -- Fast Matching of Regular Patterns with Synchronizing Counting -- Compositional Learning for Interleaving Parallel Automata -- Pebble minimization: the last theorems -- Noetherian topologies defined via fixed-points -- An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic -- Just Testing -- Model and Program Repair via Group Actions -- Subgame optimal strategies in finite concurrent games with prefix-independent objectives. .…”
Link to Metadata
Elektroniczne E-book