recherche de livres
livres
Faire un don
S'identifier
S'identifier
les utilisateurs autorisés sont disponibles :
recommandations personnelles
Telegram bot
historique de téléchargement
envoyer par courrier électronique ou Kindle
gestion des listes de livres
sauvegarder dans mes Favoris
Personnel
Requêtes de livres
Recherche
Z-Recommend
Les sélections de livres
Les plus populaires
Catégories
La participation
Faire un don
Téléchargements
Litera Library
Faire un don de livres papier
Ajouter des livres papier
Search paper books
Mon LITERA Point
La recherche des mots clé
Main
La recherche des mots clé
search
1
Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Springer-Verlag Berlin Heidelberg
Alessandro Artale
,
Roman Kontchakov
,
Vladislav Ryzhikov
,
Michael Zakharyaschev (auth.)
,
Cesare Tinelli
,
Viorica Sofronie-Stokkermans (eds.)
ϕ
variables
formula
first
termination
theories
function
smt
theorem
springer
symbols
heidelberg
systems
constraints
models
finite
rewriting
temporal
lncs
solver
consider
literals
infinite
constraint
linear
rewrite
signature
satisfiability
defined
formulas
logics
modular
diff
iff
bounded
arithmetic
counter
reversal
context
proposition
qfp
uncurrying
equality
constants
automata
algorithm
contains
monotone
witnessed
approach
Année:
2011
Langue:
english
Fichier:
PDF, 3.14 MB
Vos balises:
0
/
0
english, 2011
2
Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Springer-Verlag Berlin Heidelberg
Alessandro Artale
,
Roman Kontchakov
,
Vladislav Ryzhikov
,
Michael Zakharyaschev (auth.)
,
Cesare Tinelli
,
Viorica Sofronie-Stokkermans (eds.)
ϕ
variables
formula
termination
theories
first
function
smt
theorem
springer
symbols
heidelberg
systems
constraints
models
rewriting
temporal
lncs
solver
finite
consider
literals
constraint
linear
rewrite
signature
infinite
formulas
defined
logics
modular
diff
satisfiability
iff
bounded
arithmetic
counter
reversal
context
proposition
qfp
uncurrying
equality
constants
automata
algorithm
contains
monotone
witnessed
approach
Année:
2011
Langue:
english
Fichier:
PDF, 3.05 MB
Vos balises:
0
/
0
english, 2011
3
The tensor product of commutative monoids [expository notes]
Harold Simmons
morphism
monoid
commutative
function
monoids
lemma
congruence
balanced
correspondence
quotient
bijective
cmd
composite
generated
morphisms
apply
check
operation
required
theorem
aim
balancing
commutativity
consider
functions
kernel
product
tensor
arbitrary
commutes
constructions
currying
element
recall
requirement
starting
subsumes
triangle
trivially
typical
calculations
category
functorial
ga1
ga2
generate
input
inverse
routine
sets
Année:
2004
Langue:
english
Fichier:
PDF, 107 KB
Vos balises:
0
/
0
english, 2004
1
Suivez
ce lien
ou recherchez le bot "@BotFather" sur Telegram
2
Envoyer la commande /newbot
3
Entrez un nom pour votre bot
4
Spécifiez le nom d'utilisateur pour le bot
5
Copier le dernier message de BotFather et le coller ici
×
×