Sciweavers

890 search results - page 10 / 178
» software 1998
Sort
View
135
Voted
FSTTCS
1998
Springer
15 years 10 months ago
Descriptive Complexity and Model Checking
Neil Immerman
ICSE
1998
IEEE-ACM
15 years 10 months ago
Formalizing Design Patterns
Tommi Mikkonen
PEPM
1998
ACM
15 years 10 months ago
Logic Program Specialisation
Michael Leuschel