Publication
Publication
Substitution: Syntactic versus Semantic
Publication
Proving Possibility Properties
Publication
Evolving Algebras
Publication
KDD-98 Exhibits Overview
Publication
Metafinite Model Theory
Publication