Iterate Logic,10.1007/3-540-45504-3_12,Peter H. Schmitt

Iterate Logic   (Citations: 3)
BibTex | RIS | RefWorks Download
We introduce a new logic for nite rst-order structures witha linear odering. We study its expressive power. In particular we showthat it is strictly stronger than rst-order logic on nite structures. Weclose with a list of open problems.1
Conference: Dagstuhl Seminars , pp. 191-201, 2001
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...Several formal semantics for OCL have already been presented, in particular by Bickford and Guaspari [6], Hamie, Howse, and Kent [20], and Richters and Gogolla [36] for OCL 1.1, by Clark [11], Richters and Gogolla [39], Schmitt [40], Beckert, Keller, and Schmitt [5], and the authors [10] for OCL 1.3, and by the authors [9] for OCL 1.4...

    María Victoria Cengarleet al. OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness

    • ...Several formal semantics for OCL have already been presented, in particular by Bickford and Guaspari [6], Hamie, Howse, and Kent [20], and Richters and Gogolla [36] for OCL 1.1, by Clark [11], Richters and Gogolla [39], Schmitt [40], Beckert, Keller, and Schmitt [5], and the authors [10] for OCL 1.3, and by the authors [9] for OCL 1.4...

    Mar ´ iaet al. Regular papers OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expr...

Sort by: