First Page | Document Content | |
---|---|---|
![]() Date: 2007-12-31 03:35:21Applied mathematics Maude system Denotational semantics Formal language Structure Combinatory logic Rewriting Operational semantics Strategy Theoretical computer science Logic in computer science Mathematics | Add to Reading List |