Object-Oriented Concurrent Constraint Programming in Oz

Authors:
Gert Smolka;Martin Henz;Jörg Würtz
Affiliations:
-;-;-
Venue:
Grundlagen und Anwendungen der Künstlichen Intelligenz, 17. Fachtagung für Künstliche Intelligenz, Humboldt-Universität zu
Year:
1993

Mobile objects in distributed Oz

ACM Transactions on Programming Languages and Systems (TOPLAS)
Computer-Aided Construction of Finite Geometric Spaces: Automated Verification of Geometric Constraints

Journal of Automated Reasoning
ProFIT: prolog with features, inheritance and templates

EACL '95 Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics
Abstraction and control for shapely nested graph transformation

Fundamenta Informaticae - Special issue on the first international conference on graph transformation (ICGT 2002)

Hi-index	0.00