Refinement trees: Calculi, Tools and Applications Mihai Codescu and Till Mossakowski DFKI GmbH Bremen, CALCO 2011 - Algebraic structure - Document - PDFSEARCH.IO

First Page	Meta Content
	Refinement trees: Calculi, Tools and Applications Mihai Codescu and Till Mossakowski DFKI GmbH Bremen, CALCO 2011 Add to Reading List Document Date: 2011-09-15 16:40:19 Open Document File Size: 942,18 KB Share Result on Facebook Company Till Mossakowski DFKI GmbH / / Currency pence / / IndustryTerm software system / logical systems / / Person Nat / / SocialTag Metalogic Institution Common Algebraic Specification Language Parity of a permutation Structure Specification language Theory Model theory Mathematics Logic

Refinement trees: Calculi, Tools and Applications Mihai Codescu and Till Mossakowski DFKI GmbH Bremen, CALCO 2011Add to Reading List