The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 4
of 4
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
Resource Type
Subject
higher-order abstract syntax
2
term rewriting systems
2
01 natural sciences
1
0102 computer and information sciences
1
02 engineering and technology
1
0202 electrical engineering, electronic engineering, information engineering
1
more ...
algebra
1
algebre
1
algorithmics. computability. computer arithmetics
1
algorithmique. calculabilite. arithmetique ordinateur
1
applied sciences
1
calcul symbolique
1
calculo simbolico
1
categories, algebre homologique
1
category theory, homological algebra
1
computer science
1
computer science; control theory; systems
1
ecuacion orden 1
1
equation ordre 1
1
equational logic
1
exact sciences and technology
1
first order
1
first order equation
1
foncteur
1
functor
1
informatique
1
informatique theorique
1
informatique; automatique theorique; systemes
1
initial algebra semantics
1
lang
1
less ...
Published in
Publisher
Language
Content Provider
Year of Publication
Filter