Wins and Losses of Algebraic Transformations of Software Architectures H.M. Fahmy1 , R.C. Holt 1 , and J.R. Cordy2 Dep’t. of Computer Science, University of Waterloo, Waterloo, Ontario 2 Dep’t. of Computing - J. C. Holt - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2001-07-02 11:19:54 Graph theory Discrete mathematics Mathematics Graphs Graph rewriting Relational algebra Graph Pattern matching Tree Signal-flow graph		Wins and Losses of Algebraic Transformations of Software Architectures H.M. Fahmy1 , R.C. Holt 1 , and J.R. Cordy2 Dep’t. of Computer Science, University of Waterloo, Waterloo, Ontario 2 Dep’t. of Computing & Informa Add to Reading List Source URL: plg.uwaterloo.ca Download Document from Source Website File Size: 71,33 KB Share Document on Facebook

	Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology DocID: 1xTCQ - View Document
	Using Alloy in a Language Lab Approach to Introductory Discrete Mathematics Charles Wallace Michigan Technological University In collaboration with Laura Brown, Adam Feltz DocID: 1xTvc - View Document
	Applicable Analysis and Discrete Mathematics available online at http://pefmath.etf.bg.ac.yu Appl. Anal. Discrete Math), 322–337. doi:AADM100425018H DocID: 1vmuF - View Document
	Discrete Mathematics and Theoretical Computer Science DMTCS vol. (subm.), by the authors, 1–1 A lower bound for approximating the grundy number DocID: 1vkug - View Document
	Hausdorﬀ Center for Mathematics, Summer School (May 9–13, 2016) Problems for “Discrete Convex Analysis” (by Kazuo Murota) Problem 1. Prove that a function f : Z2 → R defined by f (x1 , x2 ) = φ(x1 − x2 ) is DocID: 1vjVY - View Document