AppendicesTopReferencesIndex

Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
A
architectural specification
argument sorts
argument specification
associativity
atomic formulae
auxiliary
axioms
B
basic specification
body
C
carrier set
closed
closed
commutativity
compatible
compatible
composition
compound identifier
consequence
consistent
constants
constraints
current signature
D
decomposition
definitions
display annotations
downloading
E
enrich
equivalence
expansions
extend
extended
extension
F
fitting morphism
free extensions
free specification
fully-qualified terms
function
G
generated
generic
global directory
global environment
H
hidden
homomorphisms
I
idempotency
imports
inconsistent
initial
instantiate
institutions
L
libraries
linear visibility
linear visibility
local environment
local specification
M
many-sorted first-order structure
many-sorted homomorphism
many-sorted model
many-sorted partial algebra
many-sorted reduct
many-sorted sentences
many-sorted signature
many-sorted signature morphism
many-sorted terms
mixfix identifier
mixfix notation
models
morphisms
N
named
non-linear visibility
non-linear visibility
O
operations
overloaded
overloading relations
P
parameters
parameters
partial
partial function symbols
predicate
presentation
profile
proof system
Q
qualified
R
reduct
reduction
reference
result sort
S
satisfaction
self-contained
semantics
sentences
signature morphism
signatures
site
sort-generation constraints
sorts
specialize
specification morphisms
structured specification
subsorted models
subsorted sentences
subsorted signature
subsorted signature morphism
symbol sets
symbols
T
token
total function symbols
translated
translation
translation
U
union
unit functions
unit (left and right)
united
V
views
W
well-formed
well-sorted

CoFI Document: CASL/Summary -- Version: 1.0.1 -- 25 March 2001.
Comments to cofi-language@brics.dk

AppendicesTopReferencesIndex