First Page | Document Content | |
---|---|---|
Date: 2007-07-04 15:14:58Temporal logic Model theory Symbol Unification Modal logic Μ operator Normal distribution Logic Mathematical logic Linear temporal logic | Equational Abstractions Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 1Add to Reading ListSource URL: maude.cs.uiuc.eduDownload Document from Source WebsiteFile Size: 253,57 KBShare Document on Facebook |