Sciweavers

890 search results - page 9 / 178
» software 1998
Sort
View
AMAST
1998
Springer
15 years 11 months ago
Abstract Algebraic Logic
Don Pigozzi
AMAST
1998
Springer
15 years 11 months ago
A Linear Metalanguage for Concurrency
Glynn Winskel