Sciweavers

15777 search results - page 157 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
AMAST
1998
Springer
15 years 10 months ago
Observational Logic
Rolf Hennicker, Michel Bidoit
AMAST
1998
Springer
15 years 10 months ago
Abstract Algebraic Logic
Don Pigozzi
AMAST
1998
Springer
15 years 10 months ago
A Linear Metalanguage for Concurrency
Glynn Winskel
IUI
1998
ACM
15 years 10 months ago
Interacting in Chaos
Dan R. Olsen