>> Logics and Meanings of Programs
Mathematics , AlgebraRecent Trends in Algebraic Development Techniques: 12th International Workshop, WADT’97 Tarquinia, Italy, June 3–7, 1997 Selected Papers
Free Download
- Education , International Conferences and Symposiums
Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
Free Download - Education , International Conferences and Symposiums
Relational Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Free Download - Computers , Networking: Internet
Rules and Rule Markup Languages for the Semantic Web: Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003. Proceedings
Free Download 
- Education , International Conferences and Symposiums
STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings
Free Download 
ComputersSTACS 84: Symposium of Theoretical Aspects of Computer Science Paris, 11–13, 1984
Free Download
