Loading…

Amalgamation in the semantics of CASL

Saved in:

Bibliographic Details
Published in:	Theoretical computer science 2005-02, Vol.331 (1), p.215-247
Main Authors:	SCHRÖDER, Lutz, MOSSAKOWSKI, Till, TARIECKI, Andrzej, KLIN, Bartek, HOFFMAN, Piotr
Format:	Article
Language:	English
Subjects:	Algorithmics. Computability. Computer arithmetics Applied sciences Computer science control theory systems Exact sciences and technology General logic Language theory and syntactical analysis Logic and foundations Mathematical logic, foundations, set theory Mathematics Sciences and techniques of general use Theoretical computing
Citations:	Items that this one cites Items that cite this one
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!