Order-sorted model theory for temporal executable specifications

Authors:
Suad Alagic;Mara Alagic
Affiliations:
Wichita State Univ., Wichita, KS;Wichita State Univ., Wichita, KS
Venue:
Theoretical Computer Science
Year:
1997

Citing 0
Cited 2

Behavioral Compatibility of Self-Typed Theories

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
A Model Theory for Generic Schema Management

DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages

Quantified Score

Hi-index	5.23

Visualization

Abstract