Relations and Kleene Algebra in Computer Science: 10th...

Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Procee

Marc Pauly (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.)
0 / 0
0 comments
Jak bardzo podobała Ci się ta książka?
Jaka jest jakość pobranego pliku?
Pobierz książkę, aby ocenić jej jakość
Jaka jest jakość pobranych plików?
Kategorie:
Mathematics
Rok:
2008
Wydanie:
1
Wydawnictwo:
Springer-Verlag Berlin Heidelberg
Język:
english
Strony:
402
ISBN 10:
3540789138
ISBN 13:
9783540789130
Serie:
Lecture Notes in Computer Science 4988
Plik:
PDF, 7.73 MB
IPFS:
CID , CID Blake2b
english, 2008
Pobranie tej książki jest niedostępne z powodu skargi złożonej przez właściciela praw autorskich

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Najbardziej popularne frazy

 
definition
boolean
lemma
kleene
function
defined
theorem
algebras
algebraic
relational
semirings
modal
category
finite
first
composition
define
demonic
semiring
proposition
iff
monoid
springer
operators
sets
element
probabilistic
heidelberg
ξx
ordered
systems
programs
equations
total
approach
axioms
assume
formal
consider
variables
formulas
equational
behaviour
categories
refinement
tests
lncs
programming
dedekind
shown
subset
lattice
trace
equivalent
functions
context
termination
deterministic
morphism
path