The calculus of context relations

Authors:
Gregor Snelting
Affiliations:
Technische Hochschule Darmstadt, Darmstadt, Germany
Venue:
Acta Informatica
Year:
1991

Citing 0
Cited 3

Real theorem provers deserve real user-interfaces

SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
A unified version model for configuration management

SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Unified versioning through feature logic

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract