The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 8
of 8
Not found what you were looking for? Search in the retro catalog, try interlibrary loan or place an acquisition request.
Refine Results
Limit Results
Expand Results
Subject
coalgebra
5
nondeterminism
3
01 natural sciences
2
0102 computer and information sciences
2
computer science(all)
2
denotational semantics
2
more ...
distributive law
2
final coalgebra
2
operational semantics
2
specification and verification (program logics, model checking, etc.)
2
theoretical computer science
2
0101 mathematics
1
02 engineering and technology
1
0202 electrical engineering, electronic engineering, information engineering
1
algebra
1
algebraic semantic
1
algebraic semantics
1
algebraic trees
1
algebre
1
applied sciences
1
arbre infini
1
arbre ordonne
1
axiomatization
1
cantor set
1
categories, algebre homologique
1
category theory (math.ct)
1
category theory, homological algebra
1
coalgebre
1
combinatoire
1
combinatoire. structures ordonnees
1
less ...
Published in
Publisher
elsevier b.v.
2
elsevier bv
2
elsevier science bv
2
schloss dagstuhl - leibniz-zentrum fuer informatik
2
schloss dagstuhl - leibniz-zentrum fur informatik
2
akademie-verlag, berlin
1
more ...
dunod, paris
1
elsevier
1
lipics - leibniz international proceedings in informatics. computer science logic (csl'11) - 25th international workshop/20th annual conference of the eacsl
1
springer
1
less ...
Language
Content Provider
Year of Publication
Filter