Search
Now showing items 21-25 of 25
Specialization of Concurrent Guarded Multi-Set Transformation Rules
Frühwirth, Thom; Etalle, S. (2005)
Beitrag zu einer Konferenz
Overcoming The Limitations of Signal Handling when Simulating UML 2 Activity Charts
Sarstedt, Stefan; Feliz-Teixeira, J. M.; Carvalho Brito, A. E. (2005)
Beitrag zu einer Konferenz
Logical Rules for a Lexicographic Order Constraint Solver
Frühwirth, Thom; Schrijvers, Tom; Frühwirth, Thom (2005)
Beitrag zu einer Konferenz
Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules
Schrijvers, Tom; Frühwirth, Thom (2005)
Konferenzband
Parallelizing Union-Find in Constraint Handling Rules Using Confluence
Frühwirth, Thom; Gabbrielli, M.; Gupta G. (2005)
Beitrag zu einer Konferenz