Frank Piessens. Finite satisfiability and equivalence of finitary sketches. Technical report, Katholieke Universiteit Leuven, Dept. of Computer Science, February 1998. CW Report 260. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Decision Procedure for Semantical Equivalence of Thin FM.. - Piessens, Steegmans (1999) Self-citation (Piessens) (Correct)
No context found.
Frank Piessens. Finite satisfiability and equivalence of finitary sketches. Technical report, Katholieke Universiteit Leuven, Dept. of Computer Science, February 1998. CW Report 260.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC