Languages that capture complexity classes
SIAM Journal on Computing
Handbook of theoretical computer science (vol. B)
Finite automata, formal logic, and circuit complexity
Finite automata, formal logic, and circuit complexity
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
A problem-oriented analysis of basic UML static requirements modeling concepts
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The Unified Modeling Language: Technical Aspects and Applications
The Unified Modeling Language: Technical Aspects and Applications
On Formalizing the UML Object Constraint Language OCL
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
On the Expressive Power of OCL
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Interpreting the Object Constraint Language
APSEC '98 Proceedings of the Fifth Asia Pacific Software Engineering Conference
APSEC '00 Proceedings of the Seventh Asia-Pacific Software Engineering Conference
Formalizing the UML class diagram using object-Z
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
VMQL: A visual language for ad-hoc model querying
Journal of Visual Languages and Computing
| Hi-index | 0.00 |
We introduce a new logic for finite first-order structures with a linear odering. We study its expressive power. In particular we show that it is strictly stronger than first-order logic on finite structures. We close with a list of open problems.