4370 search results - page 49 / 874 » Algebra of Logic Programming |
ERSHOV
2003
Springer
15 years 6 months ago
2003
Springer
74
Voted
RELMICS
2009
Springer
15 years 5 months ago
2009
Springer
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
CSL
1999
Springer
15 years 5 months ago
1999
Springer
We study the following problem: Given a transition system T and its quotient T/∼ under an equivalence ∼, which are the sets L, L′ of Hennessy-Milner formulae such that: if Ï...
101
Voted
LICS
1999
IEEE
15 years 5 months ago
1999
IEEE
