Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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