Home > Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Book Informaton
Access Options
Citation Options
Download CitationShowing 1 to 18 of 18 entries
Chapters/Headings | Author(s) | Pages | Info |
1-23 | |||
24-49 | |||
50-58 | |||
59-76 | |||
77-94 | |||
95-110 | |||
111-126 | |||
127-142 | |||
143-160 | |||
161-177 | |||
178-194 | |||
195-211 | |||
212-230 | |||
231-247 | |||
248-264 | |||
265-282 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 18 of 18 entries
Topics
Mathematical Logic and Formal Languages Symbolic and mathematical Logic Information theory Logic design Logics and Meanings of Programs Computation by Abstract Devices Computer science Theory of Computation Mathematics of Computing Mathematical Logic and Foundations Computer software development Computer science mathematics Abstract data types (computer science)