Sciweavers

2307 search results - page 190 / 462
» Dynamic Fuzzy Logic
Sort
View
CONCUR
1997
Springer
15 years 10 months ago
A Product Version of Dynamic Linear Time Temporal Logic
Jesper G. Henriksen, P. S. Thiagarajan
ICLP
1997
Springer
15 years 10 months ago
Optimization of Logic Programs with Dynamic Scheduling
Germán Puebla, Maria J. García de la...