Temat: category theory - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "category theory" wg kryterium: Temat

Wyświetlanie 1-10 z 13

Zaznacz

Skocz do pozycji: 1.

Tytuł:: An Algebraic Semantics for QVT-Relations Check-only Transformations
Autorzy:: Guerra, E.
de Lara, J.
Data publikacji:: 2012
Słowa kluczowe:: model driven engineering
model transformation
QVT-Relations
category theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A Categorical View on Algebraic Lattices in Formal Concept Analysis
Autorzy:: Hitzler, P.
Krötzsch, M.
Zhang, G-Q.
Data publikacji:: 2006
Słowa kluczowe:: algebraic lattice
formal concept analysis
domain theory
stone duality
category theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems
Autorzy:: Gribovskaya, N.
Virbitskaite, I.
Data publikacji:: 2009
Słowa kluczowe:: timed transition systems
timed delay equivalence
category theory
open maps; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Adhesivity with Partial Maps instead of Spans
Autorzy:: Heindel, T.
Data publikacji:: 2012
Słowa kluczowe:: category theory
double pushout rewriting
graph transformation
single pushout rewriting
adhesive categories; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: ChR: Dynamic Functional Constraints Checking in R
Autorzy:: Grzanek, K.
Data publikacji:: 2017
Słowa kluczowe:: formal software verification
software quality
dynamic type-checking
functional programming
category theory
R; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Low-Cost Dynamic Constraint Checking for the JVM
Autorzy:: Grzanek, K.
Data publikacji:: 2016
Słowa kluczowe:: formal software verification
software quality
dynamic type-checking
functional programming
category theory
Clojure; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings
Autorzy:: Madalinski, A.
Fabre, E.
Data publikacji:: 2009
Słowa kluczowe:: Petri net
unfoldings
finite complete prefix
distributed systems
modular computation
pullback
category theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Pattern-based Rewriting through Abstraction
Autorzy:: Bottoni, P.
Guerra, E.
de Lara, J.
Data publikacji:: 2016
Słowa kluczowe:: model-based development
modelling patterns
graphs
trees
category theory
graph transformation
refactoring
pattern variants; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Toposes are symmetric monoidal closed categories
Autorzy:: Slodičák, V.
Data publikacji:: 2012
Słowa kluczowe:: toposes
symmetric monoidal closed category
linear type theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Uniformly movable categories and uniform movability of topological spaces
Autorzy:: Gevorgyan, P. S.
Pop, I.
Data publikacji:: 2007
Słowa kluczowe:: shape theory
uniformly movable inverse system (space)
uniformly movable category; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 13

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "category theory" wg kryterium: Temat