Sciweavers

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