611 search results - page 15 / 123 » Yuri, Logic, and Computer Science |
91
Voted
ERSHOV
2006
Springer
15 years 1 months ago
2006
Springer
The paper presents a concept and architecture of specialized Internet portal providing semantic access to knowledge and information resources (electronic collections) for any given...
JVA
2006
IEEE
15 years 3 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
62
Voted
ERSHOV
2009
Springer
15 years 4 months ago
2009
Springer
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
